| Sat, 30 Sep 2006 17:36:55 +0200 | huffman | generalize type of DERIV | changeset | files |
| Sat, 30 Sep 2006 17:10:55 +0200 | huffman | add type annotations for DERIV | changeset | files |
| Sat, 30 Sep 2006 14:32:36 +0200 | mengj | Combinator axioms are now from Isabelle theorems, no need to use helper files. | changeset | files |
| Sat, 30 Sep 2006 14:31:41 +0200 | mengj | Added the combinator constants to the constants table. | changeset | files |
| Sat, 30 Sep 2006 14:31:02 +0200 | mengj | Removed ResHolClause.LAM2COMB exception. | changeset | files |
| Sat, 30 Sep 2006 14:29:52 +0200 | mengj | Reordered how files are loaded. | changeset | files |
| Fri, 29 Sep 2006 22:47:51 +0200 | wenzelm | moved Matrix/cplex/MatrixLP.ML to Matrix/cplex/matrixlp.ML; | changeset | files |
| Fri, 29 Sep 2006 22:47:04 +0200 | wenzelm | removed mixfix_content; | changeset | files |