Tue, 26 Oct 2021 14:43:59 +0000 | haftmann | more generic bit/word lemmas for distribution | changeset | files |
Tue, 26 Oct 2021 16:22:03 +0100 | paulson | merged | changeset | files |
Tue, 26 Oct 2021 11:15:40 +0100 | paulson | Added / moved some simple set-theoretic lemmas | changeset | files |