It would be better to update it. The German version is also a bit odd... Tobias
Am 19/02/2013 00:42, schrieb Lawrence Paulson: > Leaves something to be desired. Starting with the first sentence. Do we care? > > Larry > > http://en.wikipedia.org/wiki/Isabelle_(proof_assistant) > > _______________________________________________ > 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