| Thu, 01 Feb 2018 15:12:57 +0100 | wenzelm | tuned signature: more operations; | 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 |