(2steps total) PrintForm Definitions mb event system 3 Sections EventSystems Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: w-onlnk-m 1
1. w : World
2. t : 
3. l : IdLnk
4. i : Id
  ||onlnk(l;m(i;t))||  
By: GenConclAtAddr [2;1;2] THEN Fold `w-Msg` -2 THEN Unfold `w-Msg` -1

Generated subgoals:

None

About:
intmember
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html

(2steps total) PrintForm Definitions mb event system 3 Sections EventSystems Doc