PrintForm
Definitions
myhill
nerode
Sections
AutomataTheory
Doc
At:
fin
listify
T:Type. Fin(T)
(
TL:T*.
t:T. mem_f(T;t;TL))
By:
RepD
Generated subgoal:
1
1.
T:
Type
2.
Fin(T)
TL:T*.
t:T. mem_f(T;t;TL)
About:
TL:T*. 
t:T. mem_f(T;t;TL) T:Type. Fin(T) 
(TL:T*. t:T. mem_f(T;t;TL)) TL:T*. t:T. mem_f(T;t;TL)
