GenAutomata Sections NuprlLIB Doc

Def lbl_pr( < x, y > ) == ptn_pr( < x,y > )

is mentioned

In prior sections: mb automata 3


GenAutomata Sections NuprlLIB Doc