WhoCites
Definitions
NuprlPrimitives
Sections
NuprlLIB
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
NuprlPrimitives
Sections
NuprlLIB
Doc