Who Cites hi?
hi	Def i == x:'a. x
	Thm* 'a:S. i  ('a  'a)
tlambda	Def (x:T. b(x))(x) == b(x)

Syntax:

i

has structure:

hi('a)

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