IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
recognizer1 wf loc:Id, T,A:Type, P:(AT), k:Knd, i,r,x:Id.
ATx = r recognizer1(loc;T;A;P;k;i;r;x) MsgA List
By:
Unfold `recognizer1` 0 THEN MaAuto
Generated subgoals:
None
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
loc:Id, T,A:Type, P:(A
T
), k:Knd, i,r,x:Id.
A 
T 
x = r 
MsgA List
