Who Cites hcons?
hcons	Def cons == x:'a. l:'a List. cons(x; l)
	Thm* 'a:S. cons  ('a  hlist('a)  hlist('a))
tlambda	Def (x:T. b(x))(x) == b(x)

Syntax:

cons

has structure:

hcons('a)

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