Mon, 19 Sep 2005 22:35:39 +0200 | obua | maybe the last bug fix (sigh)? | changeset | files |
Mon, 19 Sep 2005 19:49:09 +0200 | obua | Removed superfluous HOL/Matrix/cplex/ROOT.ML. | changeset | files |
Mon, 19 Sep 2005 18:30:22 +0200 | paulson | further simplification of the Isabelle-ATP linkup | changeset | files |