mb
event
system
6
Sections
EventSystems
Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
Rank
Theorem
Name
7
Thm*
A
,
B
:MsgA.
A
||+
B
B
||+
A
[ma-compat-symmetry]
cites the following:
6
Thm*
M1
,
M2
:MsgA.
M1
||
M2
M2
||
M1
[ma-compatible-symmetry]
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
mb
event
system
6
Sections
EventSystems
Doc
A,B:MsgA. A ||+ B 
B ||+ AM1,M2:MsgA. M1 || M2 M2 || M1A,B:MsgA. A ||+ B B ||+ AM1,M2:MsgA. M1 || M2 M2 || M1