| Mon, 26 Jul 2010 11:09:44 +0200 | haftmann | use Natural as index type for Haskell and Scala | changeset | files |
| Sun, 25 Jul 2010 15:43:53 +0200 | blanchet | merged | changeset | files |
| Fri, 23 Jul 2010 21:29:29 +0200 | blanchet | keep track of clause numbers for SPASS now that we generate FOF rather than CNF problems; | changeset | files |
| Fri, 23 Jul 2010 15:04:49 +0200 | blanchet | first step in using "fof" rather than "cnf" in TPTP problems | changeset | files |