GenAutomata Sections NuprlLIB Doc

Def t == tree_leaf(inl(t))

is mentioned

In prior sections: mb automata 3


GenAutomata Sections NuprlLIB Doc