NEWS
changeset 60525 278b65d9339c
parent 60517 f16e4fb20652
parent 60523 be2d9f5ddc76
child 60551 2b8342b0d98c
equal deleted inserted replaced
60517:f16e4fb20652 60525:278b65d9339c
   136     INCOMPATIBILITY
   136     INCOMPATIBILITY
   137   - Removed lemmas generated by lift_definition:
   137   - Removed lemmas generated by lift_definition:
   138     less_eq_multiset.abs_eq, less_eq_multiset.rsp less_eq_multiset.transfer
   138     less_eq_multiset.abs_eq, less_eq_multiset.rsp less_eq_multiset.transfer
   139     less_eq_multiset_def
   139     less_eq_multiset_def
   140     INCOMPATIBILITY
   140     INCOMPATIBILITY
       
   141 
       
   142 * Theory Library/Old_Recdef: discontinued obsolete 'defer_recdef'
       
   143 command. Minor INCOMPATIBILITY, use 'function' instead.
   141 
   144 
   142 
   145 
   143 
   146 
   144 New in Isabelle2015 (May 2015)
   147 New in Isabelle2015 (May 2015)
   145 ------------------------------
   148 ------------------------------