| 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 |