IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
Def rev(as) == Case of as; nil nil ; a.as' rev(as') @ [a] (recursive)
is mentioned
In prior sections:
list 1
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html