(4steps)
PrintForm
Definitions
list
3
jlc
Sections
Support(jlc)
Doc
At:
apply
wf
list
length
nat
T:Type, L:T List. |
|(L)
By:
UnivCD
Generated subgoal:
1
1.
T:
Type
2.
L:
T List
|
|(L)
About:
(4steps)
PrintForm
Definitions
list
3
jlc
Sections
Support(jlc)
Doc
|
|(L) 
T:Type, L:T List. ||(L)
||(L) 
