mb
event
system
6
Sections
EventSystems
Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
Rank
Theorem
Name
2
Thm*
L
:MsgA List. ma-is-empty(
(
L
))
[ma-is-empty_wf_join]
cites the following:
1
Thm*
L
:MsgA List.
(
L
)
MsgAForm
[msg-form-join-list]
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
mb
event
system
6
Sections
EventSystems
Doc
L:MsgA List. ma-is-empty(
(L)) 
L:MsgA List. (L) MsgAFormL:MsgA List. ma-is-empty((L)) L:MsgA List. (L) MsgAForm