announce Tree
authornipkow
Fri Jun 13 07:05:01 2014 +0200 (2014-06-13)
changeset 57251f51985ebd152
parent 57250 cddaf5b93728
child 57252 19b7ace1c5da
announce Tree
NEWS
     1.1 --- a/NEWS	Thu Jun 12 21:23:28 2014 +0200
     1.2 +++ b/NEWS	Fri Jun 13 07:05:01 2014 +0200
     1.3 @@ -365,8 +365,9 @@
     1.4      cset_rel ~> rel_cset (in "Library/Countable_Set_Type.thy")
     1.5      vset ~> rel_vset (in "Library/Quotient_Set.thy")
     1.6  
     1.7 -* New theory:
     1.8 +* New theories:
     1.9      Cardinals/Ordinal_Arithmetic.thy
    1.10 +    Library/Tree
    1.11  
    1.12  * Theory reorganizations:
    1.13    * Big_Operators.thy ~> Groups_Big.thy and Lattices_Big.thy