| 2022-05-23 | paulson | Eliminated two unnecessary inductions | changeset | files |
| 2022-05-23 | desharna | NEWS | changeset | files |
| 2022-05-23 | desharna | added lemma image_mset_filter_mset_swap | changeset | files |
| 2022-05-23 | desharna | merged | changeset | files |
| 2022-05-20 | desharna | added lemmas filter_mset_cong{0,} | changeset | files |
| 2022-05-21 | haftmann | »nil« seems to be a reserved constructor word in PolyML | changeset | files |
| 2022-05-17 | paulson | tidied auto / simp with null arguments | changeset | files |
| Loading... | |||