PrintForm
grammar
1
Sections
AutomataTheory
Doc
At:
void
union
list
V,T:Type, l:(Void+T)*. l
(V+T)*
By:
UnivCD
Generated subgoal:
1
1.
V:
Type
2.
T:
Type
3.
l:
(Void+T)*
l
(V+T)*
About:
l 
(V+T)* 
V,T:Type, l:(Void+T)*. l (V+T)* l (V+T)*
