NEWS
authorhaftmann
Tue Sep 28 15:33:56 2010 +0200 (2010-09-28)
changeset 39771553f9b9aed28
parent 39770 d46cbac5bd82
child 39772 5d5fd2baf99d
NEWS
NEWS
     1.1 --- a/NEWS	Tue Sep 28 15:32:59 2010 +0200
     1.2 +++ b/NEWS	Tue Sep 28 15:33:56 2010 +0200
     1.3 @@ -74,10 +74,12 @@
     1.4  
     1.5  *** HOL ***
     1.6  
     1.7 +* Dropped old primrec package.  INCOMPATIBILITY.
     1.8 +
     1.9  * Improved infrastructure for term evaluation using code generator
    1.10  techniques, in particular static evaluation conversions.
    1.11  
    1.12 -* String.literal is a type, but not a datatype. INCOMPATIBILITY.
    1.13 +* String.literal is a type, but not a datatype.  INCOMPATIBILITY.
    1.14   
    1.15  * Renamed lemmas:
    1.16    expand_fun_eq -> fun_eq_iff