No other cites to report in HanoiTowers
top	Def  Top == Void(given Void)
	Thm*  Top  Type

Syntax:

Top

has structure:

top

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