Nuprl Definition : sv-bag-tail

sv-bag-tail(bs) ==  tl(bs)


Definitions occuring in Statement :  tl: tl(l)
FDL editor aliases :  sv-bag-tail
Latex:
sv-bag-tail(bs)  ==    tl(bs)


Date html generated: 2015_07_23-AM-11_26_10
Last ObjectModification: 2012_10_08-PM-04_00_32

Home Index