(xref-theory-to-file <theory> [<output-file>] [<input-file>])
Generates a cross reference report on <THEORY>, printed to <OUTPUT-FILE>. If <OUTPUT-FILE> is NIL or not supplied, then it uses <INPUT-FILE> with the file type '.xref'. If <INPUT-FILE> is nil or not given, then it assumes the theory has been loaded and uses the file from which it was loaded.
See also XREF-THEORY.