PrintForm Definitions nfa 1 Sections AutomataTheory Doc

At: nd compute list wf 1 1
1. Alph: Type
2. St: Type
3. NDA: NDA(Alph;St)
4. l: Alph*

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

15. q: St
NDA(nil)q Prop

About:
allmemberpropniluniverselist