PrintForm
Definitions
mb
event
system
2
Sections
EventSystems
Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
es-after
wf
the_es
:ES,
e
:E,
x
:Id. (
x
after
e
)
vartype(loc(
e
);
x
)
By:
All_ES
Generated subgoals:
None
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
PrintForm
Definitions
mb
event
system
2
Sections
EventSystems
Doc
the_es:ES, e:E, x:Id. (x after e) 
vartype(loc(e);x) the_es:ES, e:E, x:Id. (x after e) vartype(loc(e);x)
