All of the categories from catdef and equation1 are now in the categories book. LOGIC from boolean was also moved.
======================================================================== Patch too large to post. See <http://axiom-developer.org/axiom-website/patches.html#latest> _______________________________________________ Axiom-developer mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-developer
