((/rtl/rel4/support/rewrite-theory.lisp::collect-rewrites (nil nil nil nil (cond) nil nil) (nil nil ((endp runes) (eq (caar runes) :rewrite) t) nil nil nil nil) (nil nil (reverse) (recursive-call recursive-call) nil nil nil) ((ans ans) nil (cdr cdr) (cons) nil nil nil) ((runes ans runes) nil (car) nil nil nil nil) ((runes) nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/rtl/rel4/support/rewrite-theory.lisp::rewrite-theory-fn (nil nil nil (let) nil nil nil) (((diff (set-difference-theories-fn (universal-theory-fn to wrld) (universal-theory-fn from wrld) t wrld))) nil nil (collect-rewrites) nil nil nil) ((diff nil) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)))