(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
(see IN-IMPLEMENTATION.)