mb
event
system
5
Sections
EventSystems
Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
Theorem
Name
Thm*
M
:MsgA.
M
[ma-empty-sub]
cites the following:
Thm*
B
,
eq
,
g
:Top.
g
[fpf-empty-sub]
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
mb
event
system
5
Sections
EventSystems
Doc
M:MsgA. 
MB,eq,g:Top. gM:MsgA. MB,eq,g:Top. g