(2steps total)
PrintForm
Definitions
mb
event
system
7
Sections
EventSystems
Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
rnext
wf
R
:(Id
),
in
,
out
:(|
R
|
IdLnk),
i
:|
R
|. ring(
R
;
in
;
out
)
n(
i
)
|
R
|
By:
Auto
Generated subgoal:
1
1.
R
: Id
2.
in
: |
R
|
IdLnk
3.
out
: |
R
|
IdLnk
4.
i
: |
R
|
5. ring(
R
;
in
;
out
)
n(
i
)
|
R
|
1
step
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
(2steps total)
PrintForm
Definitions
mb
event
system
7
Sections
EventSystems
Doc
R:(Id
), in,out:(|R|IdLnk), i:|R|. ring(R;in;out) 
n(i) 
|R| R:(Id), in,out:(|R|IdLnk), i:|R|. ring(R;in;out) n(i) |R|
IdLnk
IdLnk
n(i) |R|
