PrintForm Definitions finite sets Sections AutomataTheory Doc

At: bool is finite 1 1 1 2 1 1 2 1
1. b:
2. b = true

if 1=0 true else false fi = b
By: Reduce 0
Generated subgoal:

1 false = b

About:
equalboolifthenelsenatural_numberbtruebfalse