PrintForm
Definitions
grammar
1
Sections
AutomataTheory
Doc
At:
length
p
wf
T:Type, l:(T List
). ||l||
By:
UnivCD
Generated subgoal:
1
1.
T:
Type
2.
l:
T List
||l||
About:
||l|| 
T:Type, l:(T List). ||l|| ||l|| 
