NEWS
changeset 61550 0b39a1f26604
parent 61537 f6bd97a587b7
child 61551 078c9fd2e052
     1.1 --- a/NEWS	Mon Nov 02 21:49:49 2015 +0100
     1.2 +++ b/NEWS	Mon Nov 02 21:49:49 2015 +0100
     1.3 @@ -400,6 +400,7 @@
     1.4    - New commands "lift_bnf" and "copy_bnf" for lifting (copying) a BNF
     1.5      structure on the raw type to an abstract type defined using typedef.
     1.6    - Always generate "case_transfer" theorem.
     1.7 +  - Allow discriminators and selectors with the same name as the type.
     1.8  
     1.9  * Transfer:
    1.10    - new methods for interactive debugging of 'transfer' and