PrintForm
Definitions
finite
sets
Sections
AutomataTheory
Doc
At:
bool
is
finite
1
1
1
1
1
1
1
2
1
1.
a1:
2
2.
a2:
2
3.
if a1=
0
true
else false
fi = if a2=
0
true
else false
fi
4.
a1 = 0
5.
a1 = 1
a1 = a2
By:
Decide (a2 = 0)
Generated subgoals:
1
6.
a2 = 0
a1 = a2
2
6.
a2 = 0
a1 = a2
About:
a1 = a2
a2 = 0 a1 = a2
22
0
true else false fi = if a2=0 true else false fia1 = 0 a1 = a2 a1 = a2a2 = 0 a1 = a2
