The package contains JAxT support interfaces.
The interfaces Axioms and GlobalAxioms are empty,
but any class implementing these are considered to contain axioms.
This is necessary for the JAxT support system in identifying axiom classes,
but also gives the user an easy way to recognise them as well:
looking at the javadoc generated list of all classes implementing the interface
jaxt.framework.Axioms is an easy way to check if all axiom classes have been declared.
See the jaxt overview file for information about declaring and using axiom classes.
@author Magne Haveraaen & Karl Trygve Kalleberg, 2007