equal
deleted
inserted
replaced
209 total_mult |
209 total_mult |
210 total_on_mult |
210 total_on_mult |
211 totalp_multp |
211 totalp_multp |
212 totalp_on_multp |
212 totalp_on_multp |
213 wfP_subset_mset[simp] |
213 wfP_subset_mset[simp] |
|
214 |
|
215 * Theory "HOL-Library.Multiset_Order": |
|
216 - Added lemmas. |
|
217 irreflp_on_multpHO[simp] |
|
218 totalp_multpDM |
|
219 totalp_multpHO |
|
220 totalp_on_multpDM |
|
221 totalp_on_multpHO |
214 |
222 |
215 * Mirabelle: |
223 * Mirabelle: |
216 - Added session to output directory structure. Minor INCOMPATIBILITY. |
224 - Added session to output directory structure. Minor INCOMPATIBILITY. |
217 |
225 |
218 |
226 |