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 |
Sun, 20 May 2018 22:10:30 +0100 | paulson | merged | changeset | files |