Wed, 30 Jun 2010 10:26:02 -0700 | huffman | generalize some euclidean_space lemmas | changeset | files |
Wed, 30 Jun 2010 18:19:53 +0200 | blanchet | merged | changeset | files |
Wed, 30 Jun 2010 18:03:34 +0200 | blanchet | rewrote the TPTP problem generation code more or less from scratch; | changeset | files |