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 |
Wed, 22 Apr 2020 19:22:43 +0200 | wenzelm | merged | changeset | files |
Wed, 22 Apr 2020 18:38:21 +0200 | wenzelm | merged | changeset | files |
Wed, 22 Apr 2020 18:37:25 +0200 | wenzelm | avoid deprecated operations; | changeset | files |
Wed, 22 Apr 2020 18:37:09 +0200 | wenzelm | tuned -- avoid odd compiler warning; | changeset | files |