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