| Fri, 07 Apr 2017 15:53:06 +0200 | wenzelm | support for all_known_theories of all sessions; | changeset | files |
| Fri, 07 Apr 2017 15:35:00 +0200 | wenzelm | tuned; | changeset | files |
| Fri, 07 Apr 2017 13:52:06 +0200 | wenzelm | known_theories from imported sessions; | changeset | files |