(xref-theory <theory-or-name> [:filename <filename>] [:stream <stream>] [:use-html-p <use-html-p>])
Cross reference utility for Ontolingua theories. Tries to cross reference the theory specified by <theory-or-name>. If no such theory can be found, the file specified by <theory-filename> will be loaded. If <theory-filename> was not provided, the user will be prompted for a file to load. A cross reference report for the specified is then output on *standard-output*. If use-html-p is T then then the report will be generated in html with hyper-text references.
See also, XREF-THEORY-TO-FILE.