Nuprl Definition : proposals

proposals(rstate) ==  fst(snd(snd(rstate)))


Proof not projected



Definitions occuring in Statement :  pi1: fst(t),  pi2: snd(t)
Definitions :  pi1: fst(t),  pi2: snd(t)
FDL editor aliases :  proposals
proposals(rstate)  ==    fst(snd(snd(rstate)))


Date html generated: 2011_10_20-PM-11_52_57
Last ObjectModification: 2011_05_10-PM-02_14_59

Home Index