Definitions
mb
event
system
2
Sections
EventSystems
Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
Some definitions of interest.
Knd
Def
Knd == (IdLnk
Id)+Id
Thm* Knd
Type
Id
Def
Id == Atom
Thm* Id
Type
has-src
Def
has-src(
i
;
k
) == isrcv(
k
)
source(lnk(
k
)) =
i
isrcv
Def
isrcv(
k
) == isl(
k
)
Thm*
k
:Knd. isrcv(
k
)
lnk
Def
lnk(
k
) == 1of(outl(
k
))
Thm*
k
:Knd. isrcv(
k
)
lnk(
k
)
IdLnk
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
Definitions
mb
event
system
2
Sections
EventSystems
Doc
Id)+Id
Type
Type
source(lnk(k)) = i
k:Knd. isrcv(k) 
k:Knd. isrcv(k) 
lnk(k) IdLnkId)+Id Type Typesource(lnk(k)) = ik:Knd. isrcv(k) k:Knd. isrcv(k) lnk(k) IdLnk
