Thu, 03 Jan 2019 15:59:29 +0100 | wenzelm | tuned; | file | diff | annotate |
Thu, 03 Jan 2019 15:55:36 +0100 | wenzelm | tuned signature; | file | diff | annotate |
Wed, 06 Dec 2017 20:43:09 +0100 | wenzelm | prefer control symbol antiquotations; | file | diff | annotate |
Sun, 26 Nov 2017 21:08:32 +0100 | wenzelm | more symbols; | file | diff | annotate |
Tue, 01 Aug 2017 07:26:23 +0200 | boehmes | more explicit Argo proof traces; more correct proof replay for term applications | file | diff | annotate |
Sun, 02 Oct 2016 14:07:43 +0200 | wenzelm | updated headers; | file | diff | annotate |
Thu, 29 Sep 2016 20:54:44 +0200 | boehmes | new proof method "argo" for a combination of quantifier-free propositional logic with equality and linear real arithmetic | file | diff | annotate |