equal
deleted
inserted
replaced
45 - Added lemmas. |
45 - Added lemmas. |
46 fimage_strict_mono |
46 fimage_strict_mono |
47 wfP_pfsubset |
47 wfP_pfsubset |
48 |
48 |
49 * Theory "HOL-Library.Multiset": |
49 * Theory "HOL-Library.Multiset": |
50 - Added lemma wfP_subset_mset[simp]. |
50 - Added lemmas. |
|
51 mult_mono_strong |
|
52 multp_mono_strong |
|
53 wfP_subset_mset[simp] |
51 |
54 |
52 |
55 |
53 *** ML *** |
56 *** ML *** |
54 |
57 |
55 * Operations for Zstd compression (via Isabelle/Scala): |
58 * Operations for Zstd compression (via Isabelle/Scala): |