Nuprl - Proof: islocal-not-isrcv

IF YOU CAN SEE THIS go to http://www.cs.cornell.edu/Info/People/sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: islocal-not-isrcv

k:Knd. islocal(k) ~

isrcv(k)

By:	Auto THEN Analyze -1 THEN Unfolds [`islocal`;`isrcv`] 0 THEN Reduce 0

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