list
1
Sections
StandardLIB
Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
Theorem
Name
Thm*
as
:
T
List. null(
as
)
as
= nil
[assert_of_null]
cites the following:
Thm*
h
:
T
,
t
:
T
List.
h
.
t
= nil
[cons_neq_nil]
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
list
1
Sections
StandardLIB
Doc
as:T List. null(as) 
as = nilh:T, t:T List. 
h.t = nilas:T List. null(as) as = nilh:T, t:T List. h.t = nil