(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
  w:World, t:, l:IdLnk, i:Id. ||onlnk(l;m(i;t))||  
By: Auto

Generated subgoal:

1 1. w : World
2. t : 
3. l : IdLnk
4. i : Id
  ||onlnk(l;m(i;t))||  
1 step

About:
intmemberall
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