| Wed, 20 Sep 2006 15:11:46 +0200 | paulson | tidied | changeset | files |
| Wed, 20 Sep 2006 14:02:41 +0200 | mengj | Added in combinator reduction axioms for B' C' and S'. Also split the original reduction axioms into separate files: I+K, B+C, S, B'+C', S'. | changeset | files |
| Wed, 20 Sep 2006 14:00:25 +0200 | isatest | make it work on sunbroy2 | changeset | files |
| Wed, 20 Sep 2006 13:56:39 +0200 | mengj | Moved the functional equality axioms to helper1 files. | changeset | files |
| Wed, 20 Sep 2006 13:54:03 +0200 | mengj | Introduced combinators B', C' and S'. | changeset | files |
| Wed, 20 Sep 2006 13:53:03 +0200 | mengj | Removed include_min_comb and include_combS. | changeset | files |