PrintForm
languages
Sections
AutomataTheory
Doc
At:
lang
union
wf
1
1
1
1
1
1.
Alph:
Type
2.
M:
Alph*
Prop
3.
N:
Alph*
Prop
(
l.M(l)
N(l))
Alph*
Prop
By:
Analyze
Generated subgoal:
1
4.
l:
Alph*
(M(l)
N(l))
Prop
About:
(M(l) 
N(l)) 
Prop
PropProp (
l.M(l) N(l)) Alph*Prop (M(l) N(l)) Prop
