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