# HG changeset patch
# User nipkow
# Date 1402635901 -7200
# Node ID f51985ebd15262e48b58fed4cee8d12e676301a1
# Parent  cddaf5b93728622de110a712631fa040fab2dadc
announce Tree

diff -r cddaf5b93728 -r f51985ebd152 NEWS
--- 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