Tue, 05 Apr 2011 11:44:34 +0200 | blanchet | added "no_atp" to Cantor's paradox | changeset | files |
Tue, 05 Apr 2011 11:39:48 +0200 | blanchet | renamed "const_args" option value to "args" | changeset | files |
Tue, 05 Apr 2011 10:54:09 +0200 | blanchet | temporarily allow useless encoding of helper facts (e.g. fequal_def) instead of throwing exception | changeset | files |