'a,'c,'d,'b:S.
  all
  (f:'c  'd. all
  (f:'c  'd. (g:'b  'c. all
  (f:'c  'd. (g:'b  'c. (h:'a  'b. equal(o(f,o(g,h)),o(o(f,g),h)))))

None

About: IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html