IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
iso pair wf 'a,'b:S, P:('b), rep:('a'b), abs:('b'a).
iso_pair('a;'b;P;rep;abs) Prop
By:
Unab [`iso_pair`] THEN StrongAuto
Generated subgoals:
None
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
'a,'b:S, P:('b
), rep:('a
iso_pair('a;'b;P;rep;abs) 
Prop
