| Thu, 23 Apr 2020 23:12:20 +0200 | nipkow | merged | changeset | files |
| Thu, 23 Apr 2020 23:08:29 +0200 | nipkow | tuned document | changeset | files |
| Thu, 23 Apr 2020 22:54:23 +0200 | nipkow | split AVL_Set.thy | changeset | files |
| Thu, 23 Apr 2020 16:52:14 +0200 | blanchet | avoid passing chained facts twice to preplay in Sledgehammer | changeset | files |
| Thu, 23 Apr 2020 15:45:42 +0200 | blanchet | tweaked Vampire's options + tuning | changeset | files |
| Thu, 23 Apr 2020 13:49:46 +0200 | wenzelm | more robust Isabelle_System.init (amending c0bc99aad936): avoid non-termination on Windows (java.lang.StackOverflowError); | changeset | files |
| Thu, 23 Apr 2020 13:23:04 +0200 | wenzelm | back to more modest (but uniform) Java stack, see 97fc4f657bda; | changeset | files |