PrintForm
Definitions
myhill
nerode
Sections
AutomataTheory
Doc
At:
bool
listify
T:Type, f:(T
). Fin(T)
(
fL:T*.
t:T. f(t)
mem_f(T;t;fL))
By:
RepD
Generated subgoal:
1
1.
T:
Type
2.
f:
T
3.
Fin(T)
fL:T*.
t:T. f(t)
mem_f(T;t;fL)
About:
fL:T*. 
t:T. f(t) 
mem_f(T;t;fL) T:Type, f:(T). Fin(T) 
(fL:T*. t:T. f(t) mem_f(T;t;fL)) fL:T*. t:T. f(t) mem_f(T;t;fL)
