IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
world-event-system121112222111111122211111 1. the_w : World
2. t' : 3. t : 4. l : IdLnk
5. t'<t 6. m(source(l);t') = m(source(l);t')
7. {m:Msg(the_w.M)| source(mlnk(m)) = source(l) } List
8. {m:Msg(the_w.M)| source(mlnk(m)) = source(l) } List
9. u : {m:Msg(the_w.M)| source(mlnk(m)) = source(l) }
u Msg
By:
Unfold `w-Msg` 0
Generated subgoals:
None
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
u 
Msg
