No other cites to report in StandardLib
scomb	Def S(x,y,z) == x(z,y(z))
	Thm* A,B,C:Type. S  (ABC)(AB)AC

Syntax:

S

has structure:

scomb

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