PrintForm Definitions nfa 1 Sections AutomataTheory Doc

At: nd compute list wf 1 2
1. Alph: Type
2. St: Type
3. NDA: NDA(Alph;St)
4. l: Alph*
5. u: Alph
6. v: Alph*
7. q:St. NDA(v)q Prop

q:St. NDA(u.v)q Prop
By: Analyze 0
Generated subgoal:

18. q: St
NDA(u.v)q Prop

About:
allmemberpropconsuniverselist