| Sat, 17 Sep 2022 16:50:39 +0200 | wenzelm | proper file headers; | file | diff | annotate |
| Mon, 22 Aug 2022 06:27:28 +0200 | Mathias Fleury | remove duplicate parsing for alethe; fix skolemization; | file | diff | annotate |
| Tue, 14 Jun 2022 16:14:28 +0200 | Mathias Fleury | fix veriT reconstruction for and_pos and lambda-lifting | file | diff | annotate |
| Mon, 14 Mar 2022 07:12:48 +0100 | Mathias Fleury | split veriT reconstruction into Lethe and veriTÂ part | file | diff | annotate |