Nuprl Definition : tlp
tlp(L) == tl(L)
Definitions occuring in Statement :
tl: tl(l)
Definitions occuring in definition :
tl: tl(l)
FDL editor aliases :
tlp
Latex:
tlp(L) == tl(L)
Date html generated:
2016_05_14-PM-01_30_01
Last ObjectModification:
2015_09_22-PM-05_54_14
Theory : list_1
Home
Index