PrintForm Definitions nfa 1 Sections AutomataTheory Doc

At: nd comp init wf 1 2 1
1. Alph: Type
2. St: Type
3. q: St

||[ < q,nil > ]||
By: Inst Thm* A:Type, l:A*. ||l|| [StAlph*;[ < q,nil > ]]
Generated subgoals:

None

About:
memberintconspairnilproductlistuniverse