| Thu, 15 Aug 2019 16:57:09 +0200 | wenzelm | clarified PThm: theory_name simplifies retrieval from exports; | changeset | files |
| Thu, 15 Aug 2019 16:38:55 +0200 | wenzelm | Indexname.toString according to string_of_vname' in ML; | changeset | files |
| Thu, 15 Aug 2019 16:26:50 +0200 | wenzelm | clarified type Indexname, with plain value Int; | changeset | files |