| Mon, 23 May 2022 17:21:57 +0100 | paulson | Eliminated two unnecessary inductions | changeset | files |
| Mon, 23 May 2022 10:23:33 +0200 | desharna | NEWS | changeset | files |
| Mon, 23 May 2022 10:13:08 +0200 | desharna | added lemma image_mset_filter_mset_swap | changeset | files |
| Mon, 23 May 2022 10:12:19 +0200 | desharna | merged | changeset | files |
| Fri, 20 May 2022 11:08:33 +0200 | desharna | added lemmas filter_mset_cong{0,} | changeset | files |
| Sat, 21 May 2022 14:07:24 +0000 | haftmann | »nil« seems to be a reserved constructor word in PolyML | changeset | files |
| Tue, 17 May 2022 14:10:14 +0100 | paulson | tidied auto / simp with null arguments | changeset | files |