[isabelle-dev] NEWS

[Tobias Nipkow]

* 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