equal
deleted
inserted
replaced
119 INCOMPATIBILITY |
119 INCOMPATIBILITY |
120 - Removed lemmas generated by lift_definition: |
120 - Removed lemmas generated by lift_definition: |
121 less_eq_multiset.abs_eq, less_eq_multiset.rsp less_eq_multiset.transfer |
121 less_eq_multiset.abs_eq, less_eq_multiset.rsp less_eq_multiset.transfer |
122 less_eq_multiset_def |
122 less_eq_multiset_def |
123 INCOMPATIBILITY |
123 INCOMPATIBILITY |
|
124 |
|
125 |
124 |
126 |
125 New in Isabelle2015 (May 2015) |
127 New in Isabelle2015 (May 2015) |
126 ------------------------------ |
128 ------------------------------ |
127 |
129 |
128 *** General *** |
130 *** General *** |