author | paulson |
Thu, 21 Sep 2006 17:31:10 +0200 | |
changeset 20660 | 8606ddd42554 |
parent 20647 | 680b58597f65 |
permissions | -rw-r--r-- |
%ID: $Id$ %Author: Jia Meng, NICTA %untyped combinator reduction for B', C' clause( forall([C, F, G, X], or( equal(hAPP(hAPP(hAPP(hAPP(c_COMBB__e,C),F),G),X),hAPP(C,hAPP(F,hAPP(G,X)))))), a6 ). clause( forall([C, F, G, X], or( equal(hAPP(hAPP(hAPP(hAPP(c_COMBC__e,C),F),G),X),hAPP(hAPP(C,hAPP(F,X)),G)))), a7 ).