Who Cites hnil?
hnil	Def nil == nil
	Thm* 'a:S. nil  hlist('a)

Syntax:

nil

has structure:

hnil('a)

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