Nuprl - Proof: w-match wf 1

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: w-match wf 1

1. the_w : World
2. l : IdLnk
3. t :

||onlnk(l;m(source(l);t))||

By:	GenConclAtAddr [2;1;2] THEN Fold `w-Msg` -2 THEN Unfold `w-Msg` -1

Generated subgoals:

None

About:

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