Fri, 21 Oct 2011 14:06:15 +0200 | blanchet | more robust parsing of TSTP sources -- Vampire has nonstandard "introduced()" tags and Waldmeister(OnTPTP) has weird "theory(...)" dependencies | changeset | files |
Fri, 21 Oct 2011 12:44:20 +0200 | blanchet | disable Vampire's BDD optimization, which sometimes yields so huge proofs that this causes problems for reconstruction | changeset | files |
Fri, 21 Oct 2011 11:17:16 +0200 | bulwahn | NEWS | changeset | files |