| Mon, 02 May 2011 22:52:15 +0200 | blanchet | have each ATP filter out dangerous facts for themselves, based on their type system | file | diff | annotate |
| Mon, 02 May 2011 14:40:57 +0200 | blanchet | use strings to encode type systems in ATP module, to reduce the amount of out-of-place information and also to make it easier to print the type system used | file | diff | annotate |
| Mon, 02 May 2011 13:29:47 +0200 | blanchet | fix ROOT.ML and handle "readable_names" reference slightly more cleanly | file | diff | annotate |
| Mon, 02 May 2011 12:09:33 +0200 | blanchet | tuning | file | diff | annotate |
| Mon, 02 May 2011 12:09:33 +0200 | blanchet | added TPTP exporter facility -- useful to do experiments with machine learning | file | diff | annotate |