| Wed, 24 Jul 2024 19:07:59 +0100 | paulson | Adjusting the precedences to reduce syntactic ambiguity | changeset | files |
| Tue, 23 Jul 2024 22:50:59 +0200 | wenzelm | disable thy_cache for now (amending 0b8922e351a3): avoid crash of AFP/Ramsey-Infinite due to exception THEORY "Duplicate theory name"; | changeset | files |
| Tue, 23 Jul 2024 15:54:43 +0100 | paulson | A lot of new material from the Ramsey development, including a couple of new simprules. | changeset | files |
| Mon, 22 Jul 2024 22:55:19 +0100 | paulson | A massive reduction of some truly horrible proofs | changeset | files |
| Mon, 22 Jul 2024 20:13:46 +0100 | paulson | merged | changeset | files |
| Mon, 22 Jul 2024 20:13:38 +0100 | paulson | More simplification of proofs. Trying to fix the syntax too | changeset | files |
| Sun, 21 Jul 2024 23:31:32 +0200 | wenzelm | clarified export: replaced Proofterm.standard_vars by ZTerm.standard_vars; | changeset | files |
| Sun, 21 Jul 2024 22:34:25 +0200 | wenzelm | tuned; | changeset | files |