PrintForm
grammar
1
Sections
AutomataTheory
Doc
At:
void
union
list
1
1.
V:
Type
2.
T:
Type
3.
l:
(Void+T)*
l
(V+T)*
By:
ListInd -1
Generated subgoals:
1
nil
(V+T)*
2
4.
u:
Void+T
5.
v:
(Void+T)*
6.
v
(V+T)*
u.v
(V+T)*
About:
nil 
(V+T)* (V+T)* u.v (V+T)* l (V+T)* nil (V+T)* (V+T)* u.v (V+T)*
