list
1
Sections
StandardLIB
Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
Theorem
Name
Thm*
l
:
A
List.
l
= nil
||
l
||
1
[pos_length]
cites the following:
Thm*
l
:
A
List. ||
l
||
0
[non_neg_length]
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
list
1
Sections
StandardLIB
Doc
l:A List. 
l = nil 
||l||
1l:A List. ||l||0l:A List. l = nil ||l||1l:A List. ||l||0