PrintForm Definitions list 3 autom Sections AutomataTheory Doc

At: mem f dec 1 1

1. S: Type
2. s: S
3. l: S*
4. Fin(S)

Dec(mem_f(S;s;nil))

By: Reduce 0

Generated subgoals:

None


About:
niluniverselist