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-s
wf
the_w
:World,
i
:Id,
t
:
,
x
:Id. s(
i
;
t
).
x
vartype(
i
;
x
)
By:
All_Wld
Generated subgoals:
None
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
PrintForm
Definitions
mb
event
system
3
Sections
EventSystems
Doc
the_w:World, i:Id, t:
, x:Id. s(i;t).x 
vartype(i;x) the_w:World, i:Id, t:, x:Id. s(i;t).x vartype(i;x)
