Theory documentation:
OntoLingua theory which provides a handle on Alon's
procedural attachment hack.
Cross Reference Report:
No theories were included by Interval-Theory.
Theories that include Interval-Theory:
Dme-Kb
No classes defined.
No relations defined.
No functions defined.
No instances defined.
No classes 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