Table of Contents

Function Uninclude-Theory

(uninclude-theory <includee> <includer>)

Unincludes the theory specified by <includee> from the theory specified by <includer>. Returns T if an appropriate theory was found and unincluded, nil otherwise.

<includee> and <includer> may be any objects acceptable to FIND-THEORY. If <includer> is not specified, the current theory will be assumed

(see IN-THEORY.)

If either <includee> or <includer> is not a theory object, <implementation> will be examined to determine which implementation of the specified theory to consider. <implementation> should be a symbol (usually a keyword); if unspecified, the current implementation will be assumed