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