PrintForm Definitions finite sets Sections AutomataTheory Doc

At: bool is finite 1 1 1 1 1 1 1 1 2 1 1 1 1

1. a1: 2
2. a2: 2
3. true = if 1=0 true else false fi
4. a1 = 0
5. a2 = 0
6. a2 = 1

a1 = a2

By: Reduce 3

Generated subgoal:

13. true = false
4. a1 = 0
5. a2 = 0
6. a2 = 1
a1 = a2


About:
equalnatural_numberboolbtrueifthenelsebfalseint