mb automata 4 Sections GenAutomata Doc

Def termlist_eq(a;b) == Case of a; nil Case of b; nil true ; x.xs false ; x.xs Case of b; nil false ; x'.xs' term_eq(x;x')termlist_eq(xs;xs') (recursive)

is mentioned

In prior sections: mb automata 2 mb automata 3

Try larger context: GenAutomata

mb automata 4 Sections GenAutomata Doc