equal
deleted
inserted
replaced
200 - Added lemmas. |
200 - Added lemmas. |
201 mult_mono_strong |
201 mult_mono_strong |
202 multeqp_code_iff_reflclp_multp |
202 multeqp_code_iff_reflclp_multp |
203 multp_code_iff_multp |
203 multp_code_iff_multp |
204 multp_mono_strong |
204 multp_mono_strong |
|
205 total_mult |
|
206 total_on_mult |
|
207 totalp_multp |
|
208 totalp_on_multp |
205 wfP_subset_mset[simp] |
209 wfP_subset_mset[simp] |
206 |
210 |
207 * Mirabelle: |
211 * Mirabelle: |
208 - Added session to output directory structure. Minor INCOMPATIBILITY. |
212 - Added session to output directory structure. Minor INCOMPATIBILITY. |
209 |
213 |