(defun flat (L)
  (if (null L)
      ()
    (if (not (atom (car L)))
	(append (flat (car L)) (flat (cdr L)))
      (append (list (car L)) (flat (cdr L))))))