| Tue, 21 Sep 2021 13:14:18 +0200 | wenzelm | clarified antiquotations; | file | diff | annotate |
| Sun, 27 Dec 2020 17:53:08 +0100 | wenzelm | tuned whitespace; | file | diff | annotate |
| Fri, 19 Jun 2020 09:46:47 +0000 | haftmann | prefer single name | file | diff | annotate |
| Thu, 04 Jun 2020 15:30:22 +0000 | haftmann | more rules for FOL also | file | diff | annotate |
| Thu, 14 May 2020 10:26:33 +0100 | paulson | The Uniq quantifier for FOL too | file | diff | annotate |
| Tue, 15 Oct 2019 13:34:50 +0200 | wenzelm | set_preproc for object-logics with type classes; | file | diff | annotate |
| Sun, 28 Jul 2019 15:39:30 +0200 | wenzelm | purge remains from test (cf. 5a53724fe247); | file | diff | annotate |