GenAutomata
Sections
NuprlLIB
Doc
Def
rev(as) == Case of as; nil
nil ; a.as'
rev(as') @ [a] (recursive)
is mentioned
In prior sections:
list
1
GenAutomata
Sections
NuprlLIB
Doc
nil ; a.as' rev(as') @ [a] (recursive)