Who Cites hand?
hand	Def and == p:. q:. pq
	Thm* and  (hbool  hbool  hbool)
band	Def pq == if p q else false fi
	Thm* p,q:. (pq)
tlambda	Def (x:T. b(x))(x) == b(x)

Syntax:

and

has structure:

hand

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