IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
once feasible
a,i:Id. d-feasible(
loc.
(once(loc;a;i)))
| By: |
ProveFeasibleSupport [i] |
Generated subgoals:
None
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
