we'll need a volunteer. The HOL Wikipedia page also describes Isabelle as the successor of HOL4. I don't think they see it this way. :-)
Larry On 19 Feb 2013, at 06:52, Tobias Nipkow <nip...@in.tum.de> wrote: > 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 _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
