| 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 |
| Mon, 02 May 2011 10:50:07 +0200 | bulwahn | adding code generation setup for String.implode and String.explode in OCaml (contributed by Andreas Lochbihler) | changeset | files |
| Mon, 02 May 2011 01:20:28 +0200 | wenzelm | merged; | changeset | files |