Nuprl Definition : decisions

decisions(rstate) ==  snd(snd(snd(rstate)))


Proof not projected



Definitions occuring in Statement :  pi2: snd(t)
Definitions :  pi2: snd(t)
FDL editor aliases :  decisions
decisions(rstate)  ==    snd(snd(snd(rstate)))


Date html generated: 2011_10_20-PM-11_53_24
Last ObjectModification: 2011_05_10-PM-02_19_01

Home Index