(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:
decidable
ma-decla
A
:Dsys,
i
,
a
:Id. Dec(
a
declared in M(
i
))
By:
UnivCD
Generated subgoal:
1
1.
A
: Dsys
2.
i
: Id
3.
a
: Id
Dec(
a
declared in M(
i
))
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. Dec(a declared in M(i)) A:Dsys, i,a:Id. Dec(a declared in M(i)) Dec(a declared in M(i))
