| Tue, 13 Aug 2024 18:53:24 +0200 | wenzelm | tuned: prefer canonical argument order; | file | diff | annotate |
| Fri, 19 Jan 2024 13:56:26 +0100 | Mathias Fleury | fix reconstruction of Alethe's and_pos rule | file | diff | annotate |
| Wed, 28 Oct 2020 08:41:07 +0100 | Mathias Fleury | better handling of skolemization for Isar reconstruction in Sledgehammer for veriT | file | diff | annotate |
| Mon, 12 Oct 2020 18:59:44 +0200 | Mathias Fleury | add reconstruction for the SMT solver veriT | file | diff | annotate |