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