Wed, 24 Aug 2011 11:17:33 +0200 | more reliable "sledgehammer\_tac" reconstruction, by avoiding "insert_tac" | file | diff | annotate |
Tue, 23 Aug 2011 19:49:21 +0200 | compile | file | diff | annotate |
Wed, 13 Jul 2011 22:16:19 +0200 | added arithmetic decision procedure to CASC setup | file | diff | annotate |
Wed, 13 Jul 2011 22:16:19 +0200 | added some arithmetic functions, for THF with arithmetic | file | diff | annotate |
Wed, 13 Jul 2011 22:16:19 +0200 | pull in arithmetic theories | file | diff | annotate |
Wed, 13 Jul 2011 22:16:19 +0200 | cleanly separate TPTP related files from other examples | file | diff | annotate | base |