mb
list
1
Sections
MarkB
generic
Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
Theorem
Name
Thm*
L
:
T
List,
x
:
T
. null(
L
)
(
x
L
)
[null_member]
cites the following:
Thm*
x
:
T
. (
x
nil)
False
[nil_member]
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
mb
list
1
Sections
MarkB
generic
Doc
L:T List, x:T. null(L) 
(x 
L)x:T. (x nil) 
FalseL:T List, x:T. null(L) (x L)x:T. (x nil) False