GenAutomata Sections NuprlLIB Doc

Def l1 l2 == l:T List. l2 = (l1 @ l)

is mentioned

In prior sections: mb list 1 mb hybrid


GenAutomata Sections NuprlLIB Doc