| Mon, 02 May 2011 12:09:33 +0200 | blanchet | Vampire sometimes generates formulas with ~ (not) followed by a quantified subformula, without parentheses -- parse these correctly | changeset | files |
| Mon, 02 May 2011 12:09:33 +0200 | blanchet | tuning | changeset | files |
| Mon, 02 May 2011 12:09:33 +0200 | blanchet | make SML/NJ happy | changeset | files |
| Mon, 02 May 2011 12:09:33 +0200 | blanchet | added TPTP exporter facility -- useful to do experiments with machine learning | changeset | files |
| Mon, 02 May 2011 12:09:33 +0200 | blanchet | renamed theory to make its purpose clearer | changeset | files |
| Mon, 02 May 2011 10:50:09 +0200 | bulwahn | fixing typo | changeset | files |
| Mon, 02 May 2011 10:50:09 +0200 | bulwahn | improving naming of fresh variables in OCaml serializer | changeset | files |