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

[Tobias Nipkow]

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
>