IF YOU CAN SEE THIS go to http://www.cs.cornell.edu/Info/People/sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
ma-sub-join-list1 1. MsgA List
M:MsgA. (A,Bnil.A ||+ B) (M nil) M
By:
Unfold `pairwise` 0 THEN Reduce 0 THEN Analyze -1 THEN ExRepD THEN All Reduce
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
M:MsgA. (
nil.A ||+ B) 
(M 
