| Wed, 22 Apr 2020 11:50:23 +0200 | nipkow | added lemmas | changeset | files |
| Tue, 21 Apr 2020 22:19:59 +0200 | wenzelm | clarified signature: avoid clash with Isabelle/Scala Term.OFCLASS on case-insensible file-system; | changeset | files |
| Tue, 21 Apr 2020 22:04:15 +0200 | wenzelm | clarified signature -- avoid warning; | changeset | files |
| Tue, 21 Apr 2020 19:07:49 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 21 Apr 2020 19:07:11 +0200 | wenzelm | clarified imports; | changeset | files |
| Mon, 20 Apr 2020 08:58:09 +0200 | haftmann | more robust judgment handling | changeset | files |
| Sun, 19 Apr 2020 22:58:32 +0100 | paulson | Sketch and explore again | changeset | files |
| Sun, 19 Apr 2020 22:16:57 +0100 | paulson | removal of symmetries in Polytope, plus some tidying | changeset | files |