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