isabelle: Changelog

wenzelm [Tue, 23 Jul 2024 22:50:59 +0200] rev 80613

disable thy_cache for now (amending 0b8922e351a3): avoid crash of AFP/Ramsey-Infinite due to exception THEORY "Duplicate theory name";

paulson <lp15@cam.ac.uk> [Tue, 23 Jul 2024 15:54:43 +0100] rev 80612

A lot of new material from the Ramsey development, including a couple of new simprules.

paulson <lp15@cam.ac.uk> [Mon, 22 Jul 2024 22:55:19 +0100] rev 80611

A massive reduction of some truly horrible proofs

paulson [Mon, 22 Jul 2024 20:13:46 +0100] rev 80610

merged

paulson <lp15@cam.ac.uk> [Mon, 22 Jul 2024 20:13:38 +0100] rev 80609

More simplification of proofs. Trying to fix the syntax too

wenzelm [Sun, 21 Jul 2024 23:31:32 +0200] rev 80608

clarified export: replaced Proofterm.standard_vars by ZTerm.standard_vars;

wenzelm [Sun, 21 Jul 2024 22:34:25 +0200] rev 80607

tuned;

wenzelm [Sun, 21 Jul 2024 22:01:03 +0200] rev 80606

clarified order of operations: no_thm_names first;

isabelle