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

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