| 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 |
| Thu, 18 Apr 2024 13:06:48 +0200 | wenzelm | back to post-release mode -- after fork point; | changeset | files |
| Thu, 18 Apr 2024 15:20:24 +0200 | wenzelm | merged | changeset | files |
| Thu, 18 Apr 2024 11:39:51 +0200 | wenzelm | Added tag Isabelle2024-RC2 for changeset ef2134570abb | changeset | files |
| Thu, 18 Apr 2024 13:07:34 +0100 | paulson | Acknowledgement of Ata Keskin for his Martingales material | changeset | files |
| Wed, 17 Apr 2024 23:22:32 +0200 | wenzelm | merged | changeset | files |
| Wed, 17 Apr 2024 23:12:21 +0200 | wenzelm | update to jdk-21.0.3; | changeset | files |
| Wed, 17 Apr 2024 22:07:21 +0100 | paulson | merged | changeset | files |
| Wed, 17 Apr 2024 22:07:07 +0100 | paulson | Tidied up horrible archaic proofs | changeset | files |
| Wed, 17 Apr 2024 21:20:31 +0200 | wenzelm | clarified signature; | changeset | files |
| Wed, 17 Apr 2024 15:04:27 +0200 | Kevin Kappelmann | make adhoc_overloading respect type constraints | changeset | files |
| Tue, 16 Apr 2024 17:28:58 +0200 | wenzelm | merged | changeset | files |
| Tue, 16 Apr 2024 17:06:05 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 16 Apr 2024 16:54:15 +0200 | wenzelm | clarified signature; | changeset | files |
| Tue, 16 Apr 2024 16:38:54 +0200 | wenzelm | minor performance tuning: avoid redundant server access; | changeset | files |
| Tue, 16 Apr 2024 16:37:08 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 16 Apr 2024 16:53:10 +0200 | wenzelm | clarified modules and options (from store); | changeset | files |
| Tue, 16 Apr 2024 16:27:40 +0200 | wenzelm | clarified signature; | changeset | files |
| Tue, 16 Apr 2024 15:14:55 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 16 Apr 2024 15:11:13 +0200 | wenzelm | clarified signature; | changeset | files |
| Tue, 16 Apr 2024 14:48:08 +0200 | wenzelm | tuned signature; | changeset | files |
| Tue, 16 Apr 2024 12:18:32 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 16 Apr 2024 12:08:40 +0200 | wenzelm | tuned signature; | changeset | files |
| Tue, 16 Apr 2024 11:39:02 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 16 Apr 2024 11:20:30 +0200 | wenzelm | tuned; | changeset | files |