Sat, 21 Nov 2020 00:29:41 +0100 | wenzelm | more standard imports; | changeset | files |
Fri, 20 Nov 2020 23:53:37 +0100 | wenzelm | tuned signature; | changeset | files |
Fri, 20 Nov 2020 23:47:34 +0100 | wenzelm | generate theory HTML in Isabelle/Scala; | changeset | files |