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 |