| Mon, 17 Apr 2017 20:33:18 +0200 | wenzelm | uniform use of theory base name for presentation; | changeset | files |
| Mon, 17 Apr 2017 20:12:20 +0200 | wenzelm | proper imports_base, notably for thy_deps; | changeset | files |
| Mon, 17 Apr 2017 19:44:13 +0200 | wenzelm | tuned signature; | changeset | files |