Modifying constructor for rewrite structures.
(change-rewrite x [:hyps <hyps>] [:equiv <equiv>] [:lhs <lhs>] [:rhs <rhs>])
This is an often useful alternative to make-rewrite.
We construct a new rewrite structure that is a copy of
This is an ordinary
(defmacro change-rewrite (x &rest args) (std::change-aggregate 'rewrite x args '((:hyps . rewrite->hyps) (:equiv . rewrite->equiv) (:lhs . rewrite->lhs) (:rhs . rewrite->rhs)) 'change-rewrite 'nil))