Nuprl Definition : df-program-transition
df-program-transition(dfp) == snd(snd(snd(dfp)))
Definitions occuring in Statement :
pi2: snd(t)
FDL editor aliases :
df-program-transition
df-program-transition(dfp) == snd(snd(snd(dfp)))
Date html generated:
2012_02_20-PM-02_42_39
Last ObjectModification:
2012_02_08-PM-11_28_56
Home
Index