IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
once compatible
loc,a,i:Id. (A,B
once(loc;a;i).A ||+ B)
| By: |
ProvePairwiseCompatible |
Generated subgoals:
None
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
