WhoCites
Definitions
mb
declaration
Sections
GenAutomata
Doc
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:
WhoCites
Definitions
mb
declaration
Sections
GenAutomata
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
