| Thu, 04 Mar 2021 22:46:44 +0100 | wenzelm | removed junk; | changeset | files |
| Thu, 04 Mar 2021 22:44:31 +0100 | wenzelm | tuned proofs; | changeset | files |
| Thu, 04 Mar 2021 22:03:33 +0100 | wenzelm | enforce full build, after significant changes in Isabelle/Scala; | changeset | files |