PrintForm Definitions myhill nerode Sections AutomataTheory Doc

At: assert iff eq 1 2 1
1. a:
2. b:
3. a = b

a b
By: RWH (HypC 3) 0
Generated subgoals:

None

About:
assertboolequal