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