NEWS
authorhaftmann
Fri Oct 14 18:55:29 2011 +0200 (2011-10-14)
changeset 45143aed8f14bf562
parent 45142 97e81a8aa277
child 45144 3f4742ce4629
NEWS
NEWS
     1.1 --- a/NEWS	Fri Oct 14 11:34:30 2011 +0200
     1.2 +++ b/NEWS	Fri Oct 14 18:55:29 2011 +0200
     1.3 @@ -12,6 +12,10 @@
     1.4  
     1.5  *** HOL ***
     1.6  
     1.7 +* 'Transitive_Closure.ntrancl': bounded transitive closure on relations.
     1.8 +
     1.9 +* 'sublists' moved to More_List.thy; INCOMPATIBILITY.
    1.10 +
    1.11  * Theory Int: Discontinued many legacy theorems specific to type int.
    1.12    INCOMPATIBILITY, use the corresponding generic theorems instead.
    1.13