PrintForm
Definitions
automata
5
Sections
AutomataTheory
Doc
At:
list
quo
choice
2
1
1
1
1
1
1
1
1
1
1.
q:
2.
0 < q
3.
E:
q*
q*
Prop
4.
a:
q*. a E a
5.
Sym x,y:
q*. x E y & Trans x,y:
q*. x E y
6.
x,y:
q*. Dec(x E y)
7.
q = 0
8.
x:
q*
9.
y:
q*
(nil E nil)
nil = nil
q*
By:
Witness4 nil
Generated subgoals:
None
About:
0 < q
a:
(nil E nil) 
nil = nil 
