GenAutomata Sections NuprlLIB Doc

Def tl(l) == Case of l; nil nil ; h.t t

is mentioned

In prior sections: list 1 mb list 1 mb list 2 mb basic mb automata 1 mb automata 2


GenAutomata Sections NuprlLIB Doc