NEWS
changeset 64532 fc2835a932d9
parent 64529 1c0b93961cb1
child 64543 6b13586ef1a2
     1.1 --- a/NEWS	Tue Nov 29 08:32:44 2016 +0100
     1.2 +++ b/NEWS	Tue Nov 29 08:32:46 2016 +0100
     1.3 @@ -6,6 +6,11 @@
     1.4  New in this Isabelle version
     1.5  ----------------------------
     1.6  
     1.7 +* (Co)datatype package:
     1.8 +  - The 'size_gen_o_map' lemma is no longer generated for datatypes
     1.9 +    with type class annotations. As a result, the tactic that derives
    1.10 +    it no longer fails on nested datatypes. Slight INCOMPATIBILITY.
    1.11 +
    1.12  
    1.13  
    1.14  New in Isabelle2016-1 (December 2016)