WhoCites Definitions mb declaration Sections GenAutomata Doc

Who Cites tl?
tlDef tl(l) == Case of l; nil nil ; h.t t
Thm* A:Type, l:A List. tl(l) A List

About:
listnillist_ind
universememberall!abstraction

WhoCites Definitions mb declaration Sections GenAutomata Doc