[isabelle-dev] Desperately Seeking Mathematical Truth

Tobias Nipkow nipkow at in.tum.de
Sun Jul 20 20:19:01 CEST 2008

Previous message (by thread): [isabelle-dev] ProofGeneral history via Mercurial
Next message (by thread): [isabelle-dev] Some experiences with MicroJava, Jinja, JinjaThreads
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Via http://www.nongnu.org/isarmathlib/ I found this link 
http://www.ams.org/notices/200807/tx080700773p.pdf

Indeed.

Tobias

Previous message (by thread): [isabelle-dev] ProofGeneral history via Mercurial
Next message (by thread): [isabelle-dev] Some experiences with MicroJava, Jinja, JinjaThreads
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the isabelle-dev mailing list