grammar
1
Sections
AutomataTheory
Doc
Def
LangOver(Alph) == Alph*
Prop
Thm*
L:LangOver(V+T). L
LangOver(Void+T) void_union_lang
In prior sections:
languages
L:LangOver(V+T). L 
LangOver(Void+T) void_union_lang
Prop
L:LangOver(V+T). L LangOver(Void+T) void_union_lang