mb
automata
2
Sections
GenAutomata
Doc
Theorem
Name
Thm*
a,b:Term List. termlist_eq(a;b)
a = b
[assert_termlist_eq]
cites
Thm*
a,b:Term. term_eq(a;b)
a = b
[assert_term_eq]
mb
automata
2
Sections
GenAutomata
Doc
a,b:Term List. termlist_eq(a;b) 
a = ba,b:Term. term_eq(a;b) a = ba,b:Term List. termlist_eq(a;b) a = ba,b:Term. term_eq(a;b) a = b