Thu, 19 Dec 2013 14:57:21 +0100 | blanchet | honor SPASS-Pirate type arguments | changeset | files |
Thu, 19 Dec 2013 13:46:42 +0100 | blanchet | made SML/NJ-friendlier (hopefully) | changeset | files |
Thu, 19 Dec 2013 13:43:21 +0100 | blanchet | made timeouts in Sledgehammer not be 'option's -- simplified lots of code | changeset | files |