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