PrintForm
Definitions
list
3
autom
Sections
AutomataTheory
Doc
At:
list
in
mem
f
list
2
1.
T:
Type
2.
a:
T
3.
as:
T*
4.
as
{x:T| mem_f(T;x;as) }*
a.as
{x:T| a = x
mem_f(T;x;as) }*
By:
Analyze
Generated subgoals:
1
a
{x:T| a = x
mem_f(T;x;as) }
2
as
{x:T| a = x
mem_f(T;x;as) }*
About:
a 
{x:T| a = x 
mem_f(T;x;as) } as {x:T| a = x mem_f(T;x;as) }* {x:T| mem_f(T;x;as) }* a.as {x:T| a = x mem_f(T;x;as) }* a {x:T| a = x mem_f(T;x;as) } as {x:T| a = x mem_f(T;x;as) }*
