NEWS
changeset 60523 be2d9f5ddc76
parent 60514 78a82c37b4b2
child 60525 278b65d9339c
equal deleted inserted replaced
60522:1409b4015671 60523:be2d9f5ddc76
   126     INCOMPATIBILITY
   126     INCOMPATIBILITY
   127   - Removed lemmas generated by lift_definition:
   127   - Removed lemmas generated by lift_definition:
   128     less_eq_multiset.abs_eq, less_eq_multiset.rsp less_eq_multiset.transfer
   128     less_eq_multiset.abs_eq, less_eq_multiset.rsp less_eq_multiset.transfer
   129     less_eq_multiset_def
   129     less_eq_multiset_def
   130     INCOMPATIBILITY
   130     INCOMPATIBILITY
       
   131 
       
   132 * Theory Library/Old_Recdef: discontinued obsolete 'defer_recdef'
       
   133 command. Minor INCOMPATIBILITY, use 'function' instead.
   131 
   134 
   132 
   135 
   133 
   136 
   134 New in Isabelle2015 (May 2015)
   137 New in Isabelle2015 (May 2015)
   135 ------------------------------
   138 ------------------------------