Theory documentation:

The OntoLingua USER-THEORY.

Cross Reference Report:

No theories were included by User-Theory.

No theories include User-Theory.

No classes defined.

No relations defined.

No functions defined.

No instances defined.

All constants that were mentioned were defined.

This document was generated using Ontolingua.
Formatting and translation code was written by
François Gerbaux and Tom Gruber