At: accept list qwf 1 1 2
1. Alph: Type
2. St: Type
3. Auto: Automata(Alph;St)
4. l: x,y:Alph*//((Result(Auto)x) = (Result(Auto)y))
(Result(Auto)l) 
St
By: Inst
Thm* 
Auto:Automata(Alph;St)
, l:x,y:Alph*//((Result(Auto)x) = (Result(Auto)y)). (Result(Auto)l) St
[Alph;St;Auto;l]
Generated subgoals:None
About:
