| Thu, 20 Apr 2017 16:21:28 +0200 | blanchet | removed Old_SMT legacy module | changeset | files |
| Thu, 20 Apr 2017 10:45:52 +0200 | nipkow | typo | changeset | files |
| Wed, 19 Apr 2017 16:26:09 +0200 | wenzelm | tuned imports; | changeset | files |
| Wed, 19 Apr 2017 16:25:26 +0200 | wenzelm | always explore all sessions; | changeset | files |