An theory for demonstrating how to specify a design task.
It uses the VT-domain domain theory.
Cross Reference Report:
Theories included by Vt-Example:
No theories include Vt-Example.
1 class defined:
No 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