PrintForm
grammar
1
Sections
AutomataTheory
Doc
At:
void
union
lang
1
1
2
1.
V:
Type
2.
T:
Type
3.
L:
(V+T)*
Prop
4.
x:
(Void+T)*
x
(V+T)*
By:
BackThru:
Thm*
l:(Void+T)*. l
(V+T)*
Generated subgoals:
None
About:
Prop
x 
(V+T)*
l:(Void+T)*. l (V+T)*
