Totally agree. Considering the tools they had available, they are geniuses in my book. But there *is* a parallel with the workers who build the pyramids. Although free, their skeletal remains clearly show a life of hard labour and misery. Wished Isabelle developers somehow had moved on from that. ;o)
Christian On Saturday, April 27, 2013 at 15:31:23 (+0200), Florian Haftmann wrote: > http://isabelle.in.tum.de/reports/Isabelle/rev/8e0a1d0a41ff > > This quotation is not very fair towards the Egyptian pyramids. It is > ignorant of contemporary historians' suppositions that »just« a few > thousand (personally free) workers had been working on a single pyramid, > does not justice to the logistic challenge of managing such a big > construction set, and neglects the considerable development and > improvement of pyramid construction within a few generations. > > Florian > > -- > > PGP available: > http://home.informatik.tu-muenchen.de/haftmann/pgp/florian_haftmann_at_informatik_tu_muenchen_de > > xapplication/pgp-signature [Press RETURN to save to a file] > > ---------------------------------------------------------------------- > _______________________________________________ > isabelle-dev mailing list > isabelle-...@in.tum.de > https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev -- _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
