* 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