Who Cites hone el?
hone_el	Def one_el ==
	Thm* one_el  hone

Syntax:

one_el

has structure:

hone_el

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