Sun, 01 Sep 2019 22:57:25 +0200 | wenzelm | clarified signature: full dependency graph; | changeset | files |
Sat, 31 Aug 2019 21:34:39 +0200 | wenzelm | merged | changeset | files |
Thu, 29 Aug 2019 17:13:49 +0200 | wenzelm | more scalable isabelle dump (and derivatives): mark individual theories to share common data in ML; | changeset | files |