Nuprl Definition : es-decl-set-ds
ds(dd;i) ==  (fst(snd(dd))) i
Definitions occuring in Statement : 
pi1: fst(t)
, 
pi2: snd(t)
, 
apply: f a
FDL editor aliases : 
es-decl-set-ds
Latex:
ds(dd;i)  ==    (fst(snd(dd)))  i
Date html generated:
2016_05_16-PM-00_50_27
Last ObjectModification:
2013_03_27-AM-10_38_24
Theory : event-ordering
Home
Index