PrintForm
Definitions
finite
sets
Sections
AutomataTheory
Doc
At:
bool
is
finite
1
1
1
1
1
1
1
1
2
1
1.
a1:
2
2.
a2:
2
3.
if 0=
0
true
else false
fi = if a2=
0
true
else false
fi
4.
a1 = 0
5.
a2 = 0
a1 = a2
By:
Reduce 3
Generated subgoal:
1
3.
true
= if a2=
0
true
else false
fi
4.
a1 = 0
5.
a2 = 0
a1 = a2
About:
= if a2=0
true else false fi
a2 = 0
a1 = a2
220 true else false fi = if a2=0 true else false fia2 = 0 a1 = a2 = if a2=0 true else false fia2 = 0 a1 = a2
