[isabelle-dev] Isabelle (proof assistant) - Wikipedia, the free encyclopedia

[Lawrence Paulson]

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 <nipkow at 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-dev at in.tum.de
>> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
>> 
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev