| Tue, 18 Apr 2017 16:34:58 +0200 | wenzelm | exclude theories from other sessions; | changeset | files |
| Tue, 18 Apr 2017 14:51:46 +0200 | wenzelm | some documentation; | changeset | files |
| Tue, 18 Apr 2017 14:19:49 +0200 | wenzelm | actually qualify theory names; | changeset | files |