equal
deleted
inserted
replaced
63 (e.g. add_mono ~> subset_mset.add_mono). |
63 (e.g. add_mono ~> subset_mset.add_mono). |
64 INCOMPATIBILITY. |
64 INCOMPATIBILITY. |
65 - Renamed lemmas: |
65 - Renamed lemmas: |
66 mset_le_def ~> subseteq_mset_def |
66 mset_le_def ~> subseteq_mset_def |
67 mset_less_def ~> subset_mset_def |
67 mset_less_def ~> subset_mset_def |
68 |
68 less_eq_multiset.rep_eq ~> subseteq_mset_def |
|
69 INCOMPATIBILITY |
|
70 - Removed lemmas generated by lift_definition: |
|
71 less_eq_multiset.abs_eq, less_eq_multiset.rsp less_eq_multiset.transfer |
|
72 less_eq_multiset_def |
|
73 INCOMPATIBILITY |
69 |
74 |
70 New in Isabelle2015 (May 2015) |
75 New in Isabelle2015 (May 2015) |
71 ------------------------------ |
76 ------------------------------ |
72 |
77 |
73 *** General *** |
78 *** General *** |