| Mon, 19 Sep 2005 23:45:59 +0200 | webertj | SAT solver interface modified to support proofs of unsatisfiability | changeset | files |
| Mon, 19 Sep 2005 23:23:51 +0200 | wenzelm | shrink: compress terms and types; | changeset | files |
| Mon, 19 Sep 2005 23:22:51 +0200 | wenzelm | added String.isSuffix; | changeset | files |
| 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 |
| Mon, 19 Sep 2005 16:42:11 +0200 | haftmann | added make function | changeset | files |