| Tue, 20 Sep 2005 08:21:49 +0200 | haftmann | slight adaptions to library changes | changeset | files |
| Tue, 20 Sep 2005 08:20:22 +0200 | haftmann | infix operator precedence | changeset | files |
| Tue, 20 Sep 2005 00:16:29 +0200 | webertj | using curried Inttab.update_new function now | changeset | files |
| 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 |