mb
event
system
6
Sections
EventSystems
Search
Doc
IF YOU CAN SEE THIS go to http://www.cs.cornell.edu/Info/People/sfa/Nuprl/Shared/Xindentation_hack_doc.html
Theorem
Name
Thm*
L
:MsgA List.
(
L
)
MsgAForm
[msg-form-join-list]
cites the following:
Thm*
A
,
B
:MsgAForm.
A
B
MsgAForm
[msg-form-join]
IF YOU CAN SEE THIS go to http://www.cs.cornell.edu/Info/People/sfa/Nuprl/Shared/Xindentation_hack_doc.html
mb
event
system
6
Sections
EventSystems
Search
Doc
L:MsgA List. 
(L) 
MsgAFormA,B:MsgAForm. A B MsgAFormL:MsgA List. (L) MsgAFormA,B:MsgAForm. A B MsgAForm