Table of Contents
Just like COMMON-LISP:LOAD, except that loading is done with
*DISABLE-THEORY-SWITCHING-SIDE-EFFECTS* bound to T and with fresh bindings of
*CURRENT-THEORY* and *IMPLEMENTATION*. This is necessary to limit the
effect of IN-THEORY and IN-IMPLEMENTATION forms to the file which contains
them.
NOTE: In most Ontolingua ports, COMMON-LISP:LOAD is "advised" to make
the appropriate bindings