IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
recognizer1 compatible loc:Id, T,A:Type, P:(AT), k:Knd, i,r,x:Id.
ATx = r (A,Brecognizer1(loc;T;A;P;k;i;r;x).A ||+ B)
By:
ProvePairwiseCompatible
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 
recognizer1(loc;T;A;P;k;i;r;x).A ||+ B)
