| Thu, 23 Apr 2020 12:03:16 +0200 | wenzelm | more generous Java memory, also hoping to prevent spurious java.lang.StackOverflowError in isabelle_cronjob; | changeset | files |
| Thu, 23 Apr 2020 09:57:41 +0200 | nipkow | added lemmas | changeset | files |
| Tue, 21 Apr 2020 07:28:17 +0000 | haftmann | hooks for foundational terms: protection of foundational terms during simplification | changeset | files |