RosettaCodeData/Task/Flatten-a-list/ACL2/flatten-a-list.acl2

(defun flatten (tr)
   (cond ((null tr) nil)
         ((atom tr) (list tr))
         (t (append (flatten (first tr))
                    (flatten (rest tr))))))