Thu, 29 Sep 2005 12:45:16 +0200 | paulson | reduction in tracing files | changeset | files |
Thu, 29 Sep 2005 12:45:04 +0200 | paulson | improvements for problem generation | changeset | files |
Thu, 29 Sep 2005 12:44:25 +0200 | paulson | moved concat_with_and to watcher.ML | changeset | files |