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.
announce Tree
authornipkow
Fri, 13 Jun 2014 07:05:01 +0200
changeset 57251 f51985ebd152
parent 57250 cddaf5b93728
child 57252 19b7ace1c5da
announce Tree
NEWS file | annotate | diff | comparison | revisions 
--- a/NEWS	Thu Jun 12 21:23:28 2014 +0200
+++ b/NEWS	Fri Jun 13 07:05:01 2014 +0200
@@ -365,8 +365,9 @@
     cset_rel ~> rel_cset (in "Library/Countable_Set_Type.thy")
     vset ~> rel_vset (in "Library/Quotient_Set.thy")
 
-* New theory:
+* New theories:
     Cardinals/Ordinal_Arithmetic.thy
+    Library/Tree
 
 * Theory reorganizations:
   * Big_Operators.thy ~> Groups_Big.thy and Lattices_Big.thy
isabelle