| Thu, 21 Sep 2006 17:31:10 +0200 | paulson | corrected for the translation from _ to __ in c_COMBx_e | file | diff | annotate |
| 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'. | file | diff | annotate |