PrintForm Definitions finite sets Sections AutomataTheory Doc

At: bool is finite 1 1 1 1 1 1 1 2
1. a1: 2
2. a2: 2
3. if a1=0 true else false fi = if a2=0 true else false fi
4. a1 = 0

a1 = a2
By: Assert (a1 = 1)
Generated subgoal:

15. a1 = 1
a1 = a2

About:
equalnatural_numberintboolifthenelsebtruebfalse