(8steps)
PrintForm
Definitions
list
3
jlc
Sections
Support(jlc)
Doc
At:
list
length
wf
int
T:Type. |
|
(T List)
By:
Analyze 0
Generated subgoal:
1
1.
T:
Type
|
|
(T List)
About:
(8steps)
PrintForm
Definitions
list
3
jlc
Sections
Support(jlc)
Doc
|
| 
(T List)
T:Type. || (T List)
|| (T List)
