|
|
|---|
|
|
|
|---|
A macro that detects the changes in the theory when a book is included, and retains the current theory
Same as fetch-new-theory but does not generate a macro. It simply restores the theory to what it was before the event. Example use:
(preserve-current-theory (include-book "centaur/svl/top" :dir :system))