NEWS
changeset 55533 6260caf1d612
parent 55525 70b7e91fa1f9
child 55536 56ebc4d4d008
     1.1 --- a/NEWS	Mon Feb 17 13:31:42 2014 +0100
     1.2 +++ b/NEWS	Mon Feb 17 13:31:42 2014 +0100
     1.3 @@ -120,7 +120,9 @@
     1.4    Discontinued theories:
     1.5      BNF/BNF.thy
     1.6      BNF/Equiv_Relations_More.thy
     1.7 -  Renamed command:
     1.8 +  Renamed commands:
     1.9 +    datatype_new_compat ~> datatype_compat
    1.10 +    primrec_new ~> primrec
    1.11      wrap_free_constructors ~> free_constructors
    1.12    INCOMPATIBILITY.
    1.13