Nuprl Definition : slot

slot_num(rstate) == fst(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 : slot_num

slot\_num(rstate) == fst(snd(rstate)) Date html generated: 2011_10_20-PM-11_52_29 Last ObjectModification: 2011_05_10-PM-02_04_31 Home Index