GenAutomata Sections NuprlLIB 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


GenAutomata Sections NuprlLIB Doc