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