Nuprl Definition : lnk

lnk(k) ==  fst(outl(k))


Definitions occuring in Statement :  outl: outl(x),  pi1: fst(t)
FDL editor aliases :  lnk
lnk(k)  ==    fst(outl(k))


Date html generated: 2015_07_17-AM-09_11_29
Last ObjectModification: 2012_02_25-AM-10_52_45

Home Index