NEWS
changeset 60400 a8a31b9ebff5
parent 60398 ee390872389a
child 60418 0bcffc47eaca
     1.1 --- a/NEWS	Wed Jun 10 13:44:46 2015 +0200
     1.2 +++ b/NEWS	Wed Jun 10 15:50:17 2015 +0200
     1.3 @@ -65,7 +65,12 @@
     1.4    - Renamed lemmas:
     1.5        mset_le_def ~> subseteq_mset_def
     1.6        mset_less_def ~> subset_mset_def
     1.7 -
     1.8 +      less_eq_multiset.rep_eq ~> subseteq_mset_def
     1.9 +    INCOMPATIBILITY
    1.10 +  - Removed lemmas generated by lift_definition:
    1.11 +    less_eq_multiset.abs_eq, less_eq_multiset.rsp less_eq_multiset.transfer
    1.12 +    less_eq_multiset_def
    1.13 +    INCOMPATIBILITY
    1.14  
    1.15  New in Isabelle2015 (May 2015)
    1.16  ------------------------------