)abbrev domain MYINT MyInteger
^^^^^^ domain name
^^^^ abbreviationsee any pamphlet file in src/algebra Tim _______________________________________________ Axiom-developer mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-developer
