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