Alasdair, Your lab notes have been incorporated into the new hyperdoc under the Topics page. They are trivial to modify if you want changes. We can also trivially add new pages as you develop them.
Tim _______________________________________________ Axiom-developer mailing list Axiom-developer@nongnu.org http://lists.nongnu.org/mailman/listinfo/axiom-developer
