Nuprl Definition : st-data

data(tab;n) ==  snd(snd(((snd(snd(tab))) n)))


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


Date html generated: 2015_07_17-AM-08_55_56
Last ObjectModification: 2013_03_25-PM-01_53_05

Home Index