Table of Contents
When the value of this variable is T, IN-THEORY is guaranteed not to
have side effects on target representation systems. When nil (the
default!) "appropriate" side effects will occur, depending on the
implementation of the theory being made current.
The current value of *DISABLE-THEORY-SWITCHING-SIDE-EFFECTS* is
NIL