| Tue, 22 May 2018 11:05:47 +0200 | wenzelm | merged | changeset | files |
| Sun, 20 May 2018 22:37:00 +0200 | wenzelm | more checks for global facts: disallow undeclared frees (as in Export_Theory.export_fact); | changeset | files |
| Mon, 21 May 2018 18:36:30 +0200 | nipkow | no longer necessary | changeset | files |