PrintForm Definitions nfa 1 Sections AutomataTheory Doc

At: nd compute list wf 1 2 1 1 1
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
8. q: St

(t:St. NDA(v)t & NDA(t,u,q)) Prop
By: Auto
Generated subgoal:

19. t: St
NDA(v)t Prop

About:
memberpropexistsandapplyuniverselistall