(8steps)
PrintForm
Definitions
list
3
jlc
Sections
Support(jlc)
Doc
At:
sublist
of
nil
iff
nil
T:Type, eq:{T=
}, L:T List. L(
eq)nil
L = nil
By:
UnivCD
Generated subgoal:
1
1.
T:
Type
2.
eq:
{T=
}
3.
L:
T List
L(
eq)nil
L = nil
About:
(8steps)
PrintForm
Definitions
list
3
jlc
Sections
Support(jlc)
Doc
}
L(
eq)nil 
L = nil
T:Type, eq:{T=}, L:T List. L(eq)nil L = nil
} L(eq)nil L = nil
