isabelle: Changelog

paulson [Mon, 15 Apr 2024 22:24:31 +0100] rev 80106

merged

paulson <lp15@cam.ac.uk> [Mon, 15 Apr 2024 22:23:40 +0100] rev 80105

Streamlining of many more archaic proofs

Fabian Huch <huch@in.tum.de> [Mon, 15 Apr 2024 20:35:56 +0200] rev 80104

clarified web app parameters: more flexible, using HTML5 id specification (nonempty unicode string with no spaces);

paulson <lp15@cam.ac.uk> [Sun, 14 Apr 2024 22:38:17 +0100] rev 80103

More tidying of old proofs

paulson [Sun, 14 Apr 2024 18:39:53 +0100] rev 80102

merged

paulson <lp15@cam.ac.uk> [Sun, 14 Apr 2024 18:39:43 +0100] rev 80101

More tidying and removal of "apply"

Simon Wimmer <wimmers@in.tum.de> [Sat, 13 Apr 2024 10:22:14 +0200] rev 80100

Add subgoals variant of 'sketch' command

paulson [Fri, 12 Apr 2024 22:19:27 +0100] rev 80099

merged

paulson <lp15@cam.ac.uk> [Fri, 12 Apr 2024 22:19:20 +0100] rev 80098

Tidied some messy proofs

haftmann [Thu, 11 Apr 2024 18:46:49 +0000] rev 80097

prefer canonical theorem name for fact collection declarations

isabelle