Nuprl Definition : tl
tl(l) == if l = Ax then [] otherwise snd(l)
Definitions occuring in Statement :
nil: [],
pi2: snd(t),
isaxiom: if z = Ax then a otherwise b
Definitions occuring in definition :
isaxiom: if z = Ax then a otherwise b,
nil: [],
pi2: snd(t)
FDL editor aliases :
tl
Latex:
tl(l) == if l = Ax then [] otherwise snd(l)
Date html generated:
2016_05_14-AM-06_27_01
Last ObjectModification:
2015_12_03-PM-02_05_23
Theory : list_0
Home
Index