| Tue, 04 Apr 2017 22:56:28 +0200 | wenzelm | more explicit types; | changeset | files |
| Tue, 04 Apr 2017 22:53:01 +0200 | wenzelm | proper name according to meaning; | changeset | files |
| Tue, 04 Apr 2017 22:16:42 +0200 | wenzelm | more main sessions and global theories; | changeset | files |