| Tue, 23 Apr 2024 15:56:04 +0200 | wenzelm | proper command-line; | changeset | files |
| Tue, 23 Apr 2024 10:26:04 +0100 | paulson | Tidying up another of the nominal examples | changeset | files |
| Mon, 22 Apr 2024 22:08:28 +0100 | paulson | More tidying of Nominal proofs | changeset | files |
| Mon, 22 Apr 2024 10:43:57 +0100 | paulson | Tidied up another messy theory | changeset | files |
| Sun, 21 Apr 2024 16:31:30 +0100 | paulson | More proof tidying for Nominal | changeset | files |
| Sat, 20 Apr 2024 23:02:47 +0100 | paulson | Tidying up more messy proofs | changeset | files |
| Sat, 20 Apr 2024 12:08:01 +0100 | paulson | Starting to tidy HOL-Nominal-Examples | changeset | files |
| Thu, 18 Apr 2024 17:53:14 +0200 | Simon Wimmer | sketch & explore: recover from duplicate fixed variables in Isar proofs | changeset | files |