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:
2016_05_17-AM-11_10_47
Last ObjectModification:
2012_10_08-PM-04_00_32
Theory : process-model
Home
Index