Wed, 01 Sep 2010 23:10:01 +0200 | blanchet | minor refactoring | file | diff | annotate |
Wed, 01 Sep 2010 23:04:47 +0200 | blanchet | translate the axioms to FOF once and for all ATPs | file | diff | annotate |
Wed, 01 Sep 2010 18:41:23 +0200 | blanchet | share the relevance filter among the provers | file | diff | annotate |
Wed, 01 Sep 2010 17:27:10 +0200 | blanchet | got rid of the "theory_relevant" option; | file | diff | annotate |
Wed, 01 Sep 2010 16:46:11 +0200 | blanchet | generalize theorem argument parsing syntax | file | diff | annotate |
Tue, 31 Aug 2010 23:50:59 +0200 | blanchet | finished renaming | file | diff | annotate |
Tue, 31 Aug 2010 23:46:23 +0200 | blanchet | shorten a few file names | file | diff | annotate | base |