PrintForm Definitions nfa 1 Sections AutomataTheory Doc

At: nd compute list wf

Alph,St:Type, NDA:NDA(Alph;St), l:Alph*, q:St. NDA(l)q Prop
By:
Analyze 0
THEN
Analyze 0
THEN
Analyze 0
THEN
Analyze 0
Generated subgoal:

11. Alph: Type
2. St: Type
3. NDA: NDA(Alph;St)
4. l: Alph*
q:St. NDA(l)q Prop

About:
alluniverselistmemberprop