The other volumes are still being written or are in the proposal stages. Do tla get axiom--book--1 and you can see volumes 1-4 (the volume 1 up there has been rewritten so the volume 1 is out of date).
Tim _______________________________________________ Axiom-developer mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-developer
