(8steps)
PrintForm
Definitions
list
3
jlc
Sections
Support(jlc)
Doc
At:
sublist
of
nil
iff
nil
1
1
1
2
1.
T:
Type
2.
eq:
{T=
}
3.
L:
T List
4.
u:
T
5.
v:
T List
False &
x
v.False
u.v = nil
By:
Auto
Generated subgoals:
1
6.
u.v = nil
False
2
6.
u.v = nil
x
v.False
About:
(8steps)
PrintForm
Definitions
list
3
jlc
Sections
Support(jlc)
Doc
False 
x
v.False
}
False & xv.False 
u.v = nil
False xv.False
