Mon, 04 Apr 2011 14:44:11 +0200 | bulwahn | refactoring generator definition in quickcheck and removing clone | changeset | files |
Mon, 04 Apr 2011 14:37:20 +0200 | blanchet | use the proper contexts/simpsets/etc. in the TPTP proof method | changeset | files |
Mon, 04 Apr 2011 13:41:56 +0200 | blanchet | merged | changeset | files |