WhoCites
Definitions
DiscreteMath
Sections
DiscrMathExt
Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
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
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
WhoCites
Definitions
DiscreteMath
Sections
DiscrMathExt
Doc
"?" ; h.t h
A:Type, l:A List. ||l||
1 
hd(l) 
A "?" ; h.t hA:Type, l:A List. ||l||1 hd(l) A
