WhoCites
Definitions
mb
label
Sections
GenAutomata
Doc
Who Cites hd?
hd
Def hd(l) == Case of l; nil
"?" ; h.t
h
Thm*
A:Type, l:A List. ||l||
1
hd(l)
A
Thm*
A:Type, l:A List
. hd(l)
A
About:
WhoCites
Definitions
mb
label
Sections
GenAutomata
Doc