author | nipkow |
Fri, 19 Jun 2009 18:56:53 +0200 | |
changeset 31720 | d1ac3f3b2f54 |
parent 31719 | 29f5b20e8ee8 |
child 31722 | caa89b41dcf2 |
--- a/NEWS Fri Jun 19 18:33:10 2009 +0200 +++ b/NEWS Fri Jun 19 18:56:53 2009 +0200 @@ -43,6 +43,8 @@ * Constants Set.Pow and Set.image now with authentic syntax; object-logic definitions Set.Pow_def and Set.image_def. INCOMPATIBILITY. +* NewNumberTheory: Jeremy Avigad's new version of part of NumberTheory. +If possible, use NewNumberTheory, not NumberTheory. *** ML ***