Selected Objects

def	bchoose	@x:'a. p(x) == @x:'a. p(x)
def	hbool	hbool ==
def	hind	hind ==
def	hfun	'a  'b == 'a'b
def	hequal	equal == x:'a. y:'a. x = y
def	himplies	implies == p:. q:. pq
def	hselect	select == p:'a. @x:'a. (p(x))

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