WhoCites
Definitions
DiscreteMath
Sections
DiscrMathExt
Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
Who Cites tl?
tl
Def tl(
l
) == Case of
l
; nil
nil ;
h
.
t
t
Thm*
A
:Type,
l
:
A
List. tl(
l
)
A
List
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
WhoCites
Definitions
DiscreteMath
Sections
DiscrMathExt
Doc
nil ; h.t t
A:Type, l:A List. tl(l) 
A List nil ; h.t tA:Type, l:A List. tl(l) A List
