Nuprl Definition : accepted

accepted(astate) ==  snd(astate)


Proof not projected



Definitions occuring in Statement :  pi2: snd(t)
Definitions :  pi2: snd(t)
FDL editor aliases :  accepted
accepted(astate)  ==    snd(astate)


Date html generated: 2011_10_20-PM-11_56_37
Last ObjectModification: 2011_05_12-PM-02_22_36

Home Index