[isabelle-dev] NEWS

Tobias Nipkow nipkow at in.tum.de
Fri Jun 19 18:58:35 CEST 2009


* NewNumberTheory: Jeremy Avigad's new version of part of NumberTheory.
If possible, use NewNumberTheory, not NumberTheory.

Thanks Jeremy, we look forward to the rest of NumberTheory.

Tobias


More information about the isabelle-dev mailing list