Nuprl - Proof: send-once feasible

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: send-once feasible

T,A:Type, a:Id, f:(A

T), tg:Id, l:IdLnk, x:Id.

"done" = x

d-feasible(

loc.

(send-once(loc;T;A;a;f;tg;l;x)))

By:	ProveFeasibleSupport [source(l)]

Generated subgoals:

None

About:

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html