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