Wed, 01 Sep 2010 18:41:23 +0200 | blanchet | share the relevance filter among the provers | changeset | files |
Wed, 01 Sep 2010 17:27:10 +0200 | blanchet | got rid of the "theory_relevant" option; | changeset | files |
Wed, 01 Sep 2010 16:46:11 +0200 | blanchet | generalize theorem argument parsing syntax | changeset | files |