((/nonstd/workshops/1999/calculus/book/riemann-rcfn-refinement-is-riemann-rcfn.lisp::riemann-rcfn-refinement-is-riemann-rcfn-induction (nil nil nil nil (if) nil nil) ((t) nil (consp) nil (if) nil nil) ((p2 p1) nil (consp) (recursive-call) nil nil nil) (nil nil (cdr cdr) (member) nil nil nil) ((p2 p1 p2) nil (cadr) nil nil nil nil) ((p2) nil nil nil nil nil nil) (nil nil nil nil nil nil nil)))