| Mon, 02 Sep 2019 10:41:14 +0200 | wenzelm | prefer Theory_Ordering theory names are unique (due to proper session context); | changeset | files |
| 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 |
| Thu, 29 Aug 2019 15:43:05 +0200 | wenzelm | tuned signature; | changeset | files |
| Thu, 29 Aug 2019 19:07:09 +0200 | nipkow | merged | changeset | files |
| Thu, 29 Aug 2019 19:07:00 +0200 | nipkow | simplified proofs | changeset | files |