Nuprl Definition : st-atom

st-atom(tab;n) ==  fst(((snd(snd(tab))) n))


Definitions occuring in Statement :  pi1: fst(t),  pi2: snd(t),  apply: f a
FDL editor aliases :  st-atom st-atom
st-atom(tab;n)  ==    fst(((snd(snd(tab)))  n))


Date html generated: 2015_07_17-AM-08_55_47
Last ObjectModification: 2013_03_25-PM-01_53_02

Home Index