Thu, 12 May 2011 15:29:19 +0200 | blanchet | drop some type arguments to constants in unsound type systems + remove a few type systems that make no sense from the circulation | changeset | files |
Thu, 12 May 2011 15:29:19 +0200 | blanchet | tuning | changeset | files |
Thu, 12 May 2011 15:29:19 +0200 | blanchet | fixed conjecture resolution bug for Vampire 1.0's TSTP output | changeset | files |