PrintForm Definitions list 3 autom Sections AutomataTheory Doc

At: mem f dec 1 2 1
1. S: Type
2. s: S
3. l: S*
4. Fin(S)
5. u: S
6. v: S*
7. Dec(mem_f(S;s;v))

Dec(u = s mem_f(S;s;v))
By: Assert Dec(u = s)
Generated subgoals:

1 Dec(u = s)
28. Dec(u = s)
Dec(u = s mem_f(S;s;v))

About:
orequaluniverselist