Who Cites locl?
locl	Def locl(a) == inr(a)
	Thm* a:Id. locl(a)  Knd

About: IF YOU CAN SEE THIS go to http://www.cs.cornell.edu/Info/People/sfa/Nuprl/Shared/Xindentation_hack_doc.html