| Wed, 05 Mar 2025 08:28:21 +0100 | desharna | added lemmas bex_rtrancl_min_element_if_wf_on and bex_rtrancl_min_element_if_wfp_on | changeset | files |
| Wed, 05 Mar 2025 15:34:01 +0100 | nipkow | more take/drop/While lemmas (by Martin Desharnais) | changeset | files |
| Tue, 04 Mar 2025 19:34:12 +0100 | desharna | added lemma wf_on_lex_prod[intro] | changeset | files |
| Tue, 04 Mar 2025 17:57:10 +0100 | desharna | added lemma wfp_on_iff_wfp | changeset | files |
| Tue, 04 Mar 2025 16:58:46 +0100 | desharna | added attribute "simp" to filter_mset_eq_mempty_iff | changeset | files |
| Tue, 04 Mar 2025 16:38:21 +0100 | desharna | removed lemma size_multiset_sum_mset[simp] | changeset | files |
| Tue, 04 Mar 2025 16:37:14 +0100 | desharna | added lemma size_mset_sum_mset_conv[simp] (thanks to Manuel Eberl) | changeset | files |