The package jaxt contains JAxT framework support, axioms for Java standard classes and some example packages. See the jaxt overview file for information about declaring and using axiom classes.

@author Magne Haveraaen & Karl Trygve Kalleberg, 2007