isabelle: Changelog

wenzelm [Fri, 26 Apr 2024 13:25:44 +0200] rev 80150

update Windows test machines;

paulson <lp15@cam.ac.uk> [Wed, 24 Apr 2024 20:56:26 +0100] rev 80149

More tidying of proofs

paulson <lp15@cam.ac.uk> [Wed, 24 Apr 2024 09:21:44 +0100] rev 80148

Another Nominal example

paulson [Tue, 23 Apr 2024 21:58:42 +0100] rev 80147

merged

paulson <lp15@cam.ac.uk> [Tue, 23 Apr 2024 21:58:21 +0100] rev 80146

Tidying up another Nominal example (SOS)

wenzelm [Tue, 23 Apr 2024 15:57:03 +0200] rev 80145

update Windows build host;

wenzelm [Tue, 23 Apr 2024 15:56:04 +0200] rev 80144

proper command-line;

paulson <lp15@cam.ac.uk> [Tue, 23 Apr 2024 10:26:04 +0100] rev 80143

Tidying up another of the nominal examples

paulson <lp15@cam.ac.uk> [Mon, 22 Apr 2024 22:08:28 +0100] rev 80142

More tidying of Nominal proofs

paulson <lp15@cam.ac.uk> [Mon, 22 Apr 2024 10:43:57 +0100] rev 80141

Tidied up another messy theory

isabelle