| Wed, 05 Apr 2017 10:26:28 +0200 | Lars Hupel | store totality fact in function info | changeset | files |
| Tue, 04 Apr 2017 23:21:16 +0200 | wenzelm | allow to load this into "isabelle jedit -l HOL"; | changeset | files |
| Tue, 04 Apr 2017 23:12:08 +0200 | wenzelm | print like syntax of Thy_Header.header; | changeset | files |