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