NEWS
changeset 57091 1fa9c19ba2c9
parent 57089 353652f47974
child 57094 589ec121ce1a
     1.1 --- a/NEWS	Mon May 26 16:32:51 2014 +0200
     1.2 +++ b/NEWS	Mon May 26 16:32:55 2014 +0200
     1.3 @@ -316,6 +316,9 @@
     1.4    * The constant "xxx_(un)fold" and related theorems are no longer generated.
     1.5      Use "xxx_(co)rec" or define "xxx_(un)fold" manually using "prim(co)rec".
     1.6      INCOMPATIBILITY.
     1.7 +  * No discriminators are generated for nullary constructors by default,
     1.8 +    eliminating the need for the odd "=:" syntax.
     1.9 +    INCOMPATIBILITY.
    1.10  
    1.11  * Old datatype package:
    1.12    * The generated theorems "xxx.cases" and "xxx.recs" have been renamed