NewNumberTheory
authornipkow
Fri Jun 19 18:56:53 2009 +0200 (2009-06-19)
changeset 31720d1ac3f3b2f54
parent 31719 29f5b20e8ee8
child 31722 caa89b41dcf2
NewNumberTheory
NEWS
     1.1 --- a/NEWS	Fri Jun 19 18:33:10 2009 +0200
     1.2 +++ b/NEWS	Fri Jun 19 18:56:53 2009 +0200
     1.3 @@ -43,6 +43,8 @@
     1.4  * Constants Set.Pow and Set.image now with authentic syntax; object-logic definitions
     1.5  Set.Pow_def and Set.image_def.  INCOMPATIBILITY.
     1.6  
     1.7 +* NewNumberTheory: Jeremy Avigad's new version of part of NumberTheory.
     1.8 +If possible, use NewNumberTheory, not NumberTheory.
     1.9  
    1.10  *** ML ***
    1.11