IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
ma-is-empty wf join21 1. M:MsgAForm. ma-is-empty(M) 2. L:MsgA List. (L) MsgAForm
L:MsgA List. ma-is-empty((L))
By:
ParallelOp -1 THEN BackThru 1
Generated subgoals:
None
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
M:MsgAForm. ma-is-empty(M) 
(L) 
