Thms
automata
6
Sections
AutomataTheory
Doc
auto3
Def
Auto
== < (
s,a. a),0,(
s.s=
0) >
Thm* Auto
Automata(
3;
3)
eq_int
Def
i=
j == if i=j
true
; false
fi
Thm*
i,j:
. i=
j
About:
== < (
s,a. a),0,(s.s=
0) >
Automata(
3;3)j == if i=j
true ; false fi
i,j:
. i=j 
== < (s,a. a),0,(s.s=0) >
j == if i=j true ; false fi
