(3steps total)
PrintForm
Definitions
mb
event
system
6
Sections
EventSystems
Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
ma-decla
wf2
A
:Dsys,
i
,
a
:Id.
a
declared in M(
i
)
Prop
By:
UnivCD
Generated subgoal:
1
1.
A
: Dsys
2.
i
: Id
3.
a
: Id
a
declared in M(
i
)
Prop
2
steps
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
(3steps total)
PrintForm
Definitions
mb
event
system
6
Sections
EventSystems
Doc
A:Dsys, i,a:Id. a declared in M(i) 
Prop A:Dsys, i,a:Id. a declared in M(i) Prop a declared in M(i) Prop
