Fri, 26 Apr 2024 13:25:44 +0200 | wenzelm | update Windows test machines; | changeset | files |
Wed, 24 Apr 2024 20:56:26 +0100 | paulson | More tidying of proofs | changeset | files |
Wed, 24 Apr 2024 09:21:44 +0100 | paulson | Another Nominal example | changeset | files |