GenAutomata Sections NuprlLIB Doc

Def t.typ == 1of(2of(2of(t)))

is mentioned

In prior sections: mb automata 4


GenAutomata Sections NuprlLIB Doc