PrintForm
Definitions
myhill
nerode
Sections
AutomataTheory
Doc
At:
assert
iff
eq
1
2
1.
a:
2.
b:
(a
b)
(a = b)
By:
Analyze 0
Generated subgoal:
1
3.
a = b
a
b
About:
a 
b
(a b) 
(a = b) a b
