PrintForm
Definitions
mb
event
system
7
Sections
EventSystems
Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
Dconstant
wf
loc
:Id,
T
:Type,
c
:
T
,
x
,
i
:Id. Dconstant(
loc
;
T
;
c
;
x
;
i
)
MsgA List
By:
Unfold `Dconstant` 0 THEN MaAuto
Generated subgoals:
None
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
PrintForm
Definitions
mb
event
system
7
Sections
EventSystems
Doc
loc:Id, T:Type, c:T, x,i:Id. Dconstant(loc;T;c;x;i) 
MsgA List loc:Id, T:Type, c:T, x,i:Id. Dconstant(loc;T;c;x;i) MsgA List
