Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
merged
authornipkow
Fri, 19 Jun 2009 20:22:46 +0200
changeset 31722 caa89b41dcf2
parent 31720 d1ac3f3b2f54 (diff)
parent 31721 b03270a8c23f (current diff)
child 31726 ffd2dc631d88
child 31727 2621a957d417
merged
--- a/NEWS	Fri Jun 19 20:22:28 2009 +0200
+++ b/NEWS	Fri Jun 19 20:22:46 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 ***
isabelle