Theories included by Equality:
Theories that include Equality:
No classes defined.
4 relations defined:
No functions defined.
No instances defined.
The following constants were used from included theories:
The following constants were used from theories not included:
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