Cdr-dec-induct
(cdr-dec-induct x n) inducts by simultaneously cdr'ing
x and subtracting 1 from n, until we reach the end of x or
n reaches 0.
Definitions and Theorems
Function: cdr-dec-induct
(defun cdr-dec-induct (x n)
(if (atom x)
nil
(if (zp n)
nil
(cdr-dec-induct (cdr x) (- n 1)))))
