(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-match wf
  the_w:World, l:IdLnk, t,t':. match(l;t;t')  
By: Unfold `w-match` 0

Generated subgoal:

1 1. the_w : World
2. l : IdLnk
3. t : 
4. 
  ||onlnk(l;m(source(l);t))||  
1 step

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