aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2009-10-15 06:42:17 +0000
committerdos-reis <gdr@axiomatics.org>2009-10-15 06:42:17 +0000
commitba8c0daf0ca45c08bd5025f9dd67892132a16110 (patch)
tree71b029dab47db0afa333d584446fd25cac2c5c2d
parent67a514d354eabbb78771e95e39d3de95c49966cd (diff)
downloadopen-axiom-ba8c0daf0ca45c08bd5025f9dd67892132a16110.tar.gz
* interp/i-syscmd.boot (reportOpsFromUnitDirectly): Tidy.
-rw-r--r--src/ChangeLog4
-rw-r--r--src/algebra/Makefile.pamphlet2
-rw-r--r--src/algebra/acplot.spad.pamphlet2
-rw-r--r--src/algebra/aggcat.spad.pamphlet2
-rw-r--r--src/algebra/aggcat2.spad.pamphlet2
-rw-r--r--src/algebra/algcat.spad.pamphlet2
-rw-r--r--src/algebra/algext.spad.pamphlet2
-rw-r--r--src/algebra/algfact.spad.pamphlet2
-rw-r--r--src/algebra/algfunc.spad.pamphlet2
-rw-r--r--src/algebra/allfact.spad.pamphlet2
-rw-r--r--src/algebra/alql.spad.pamphlet2
-rw-r--r--src/algebra/annacat.spad.pamphlet2
-rw-r--r--src/algebra/any.spad.pamphlet2
-rw-r--r--src/algebra/array1.spad.pamphlet2
-rw-r--r--src/algebra/array2.spad.pamphlet2
-rw-r--r--src/algebra/asp.spad.pamphlet2
-rw-r--r--src/algebra/attreg.spad.pamphlet2
-rw-r--r--src/algebra/axtimer.as.pamphlet2
-rw-r--r--src/algebra/bags.spad.pamphlet2
-rw-r--r--src/algebra/bezout.spad.pamphlet2
-rw-r--r--src/algebra/boolean.spad.pamphlet2
-rw-r--r--src/algebra/brill.spad.pamphlet2
-rw-r--r--src/algebra/c02.spad.pamphlet2
-rw-r--r--src/algebra/c05.spad.pamphlet2
-rw-r--r--src/algebra/c06.spad.pamphlet2
-rw-r--r--src/algebra/card.spad.pamphlet2
-rw-r--r--src/algebra/carten.spad.pamphlet2
-rw-r--r--src/algebra/catdef.spad.pamphlet2
-rw-r--r--src/algebra/cden.spad.pamphlet2
-rw-r--r--src/algebra/clifford.spad.pamphlet2
-rw-r--r--src/algebra/clip.spad.pamphlet2
-rw-r--r--src/algebra/cmplxrt.spad.pamphlet2
-rw-r--r--src/algebra/coerce.spad.pamphlet2
-rw-r--r--src/algebra/color.spad.pamphlet2
-rw-r--r--src/algebra/combfunc.spad.pamphlet2
-rw-r--r--src/algebra/combinat.spad.pamphlet2
-rw-r--r--src/algebra/complet.spad.pamphlet2
-rw-r--r--src/algebra/constant.spad.pamphlet2
-rw-r--r--src/algebra/cont.spad.pamphlet2
-rw-r--r--src/algebra/contfrac.spad.pamphlet2
-rw-r--r--src/algebra/coordsys.spad.pamphlet2
-rw-r--r--src/algebra/cra.spad.pamphlet2
-rw-r--r--src/algebra/crfp.spad.pamphlet2
-rw-r--r--src/algebra/curve.spad.pamphlet2
-rw-r--r--src/algebra/cycles.spad.pamphlet2
-rw-r--r--src/algebra/cyclotom.spad.pamphlet2
-rw-r--r--src/algebra/d01.spad.pamphlet2
-rw-r--r--src/algebra/d01Package.spad.pamphlet2
-rw-r--r--src/algebra/d01agents.spad.pamphlet2
-rw-r--r--src/algebra/d01routine.spad.pamphlet2
-rw-r--r--src/algebra/d01transform.spad.pamphlet2
-rw-r--r--src/algebra/d01weights.spad.pamphlet2
-rw-r--r--src/algebra/d02.spad.pamphlet2
-rw-r--r--src/algebra/d02Package.spad.pamphlet2
-rw-r--r--src/algebra/d02agents.spad.pamphlet2
-rw-r--r--src/algebra/d02routine.spad.pamphlet2
-rw-r--r--src/algebra/d03.spad.pamphlet2
-rw-r--r--src/algebra/d03Package.spad.pamphlet2
-rw-r--r--src/algebra/d03agents.spad.pamphlet2
-rw-r--r--src/algebra/d03routine.spad.pamphlet2
-rw-r--r--src/algebra/data.spad.pamphlet2
-rw-r--r--src/algebra/ddfact.spad.pamphlet2
-rw-r--r--src/algebra/defaults.spad.pamphlet2
-rw-r--r--src/algebra/defintef.spad.pamphlet2
-rw-r--r--src/algebra/defintrf.spad.pamphlet2
-rw-r--r--src/algebra/degred.spad.pamphlet2
-rw-r--r--src/algebra/derham.spad.pamphlet2
-rw-r--r--src/algebra/dhmatrix.spad.pamphlet2
-rw-r--r--src/algebra/divisor.spad.pamphlet2
-rw-r--r--src/algebra/domain.spad.pamphlet2
-rw-r--r--src/algebra/dpolcat.spad.pamphlet2
-rw-r--r--src/algebra/draw.spad.pamphlet2
-rw-r--r--src/algebra/drawopt.spad.pamphlet2
-rw-r--r--src/algebra/drawpak.spad.pamphlet2
-rw-r--r--src/algebra/e01.spad.pamphlet2
-rw-r--r--src/algebra/e02.spad.pamphlet2
-rw-r--r--src/algebra/e04.spad.pamphlet2
-rw-r--r--src/algebra/e04Package.spad.pamphlet2
-rw-r--r--src/algebra/e04agents.spad.pamphlet2
-rw-r--r--src/algebra/e04routine.spad.pamphlet2
-rw-r--r--src/algebra/efstruc.spad.pamphlet2
-rw-r--r--src/algebra/efuls.spad.pamphlet2
-rw-r--r--src/algebra/efupxs.spad.pamphlet2
-rw-r--r--src/algebra/eigen.spad.pamphlet2
-rw-r--r--src/algebra/elemntry.spad.pamphlet2
-rw-r--r--src/algebra/elfuts.spad.pamphlet2
-rw-r--r--src/algebra/equation1.spad.pamphlet2
-rw-r--r--src/algebra/equation2.spad.pamphlet2
-rw-r--r--src/algebra/error.spad.pamphlet2
-rw-r--r--src/algebra/expexpan.spad.pamphlet2
-rw-r--r--src/algebra/exposed.lsp.pamphlet2
-rw-r--r--src/algebra/expr.spad.pamphlet2
-rw-r--r--src/algebra/expr2ups.spad.pamphlet2
-rw-r--r--src/algebra/exprode.spad.pamphlet2
-rw-r--r--src/algebra/f01.spad.pamphlet2
-rw-r--r--src/algebra/f02.spad.pamphlet2
-rw-r--r--src/algebra/f04.spad.pamphlet2
-rw-r--r--src/algebra/f07.spad.pamphlet2
-rw-r--r--src/algebra/facutil.spad.pamphlet2
-rw-r--r--src/algebra/ffcat.spad.pamphlet2
-rw-r--r--src/algebra/ffcg.spad.pamphlet2
-rw-r--r--src/algebra/fff.spad.pamphlet2
-rw-r--r--src/algebra/ffhom.spad.pamphlet2
-rw-r--r--src/algebra/ffnb.spad.pamphlet2
-rw-r--r--src/algebra/ffp.spad.pamphlet2
-rw-r--r--src/algebra/ffpoly.spad.pamphlet2
-rw-r--r--src/algebra/ffpoly2.spad.pamphlet2
-rw-r--r--src/algebra/ffrac.as.pamphlet2
-rw-r--r--src/algebra/ffx.spad.pamphlet2
-rw-r--r--src/algebra/files.spad.pamphlet2
-rw-r--r--src/algebra/float.spad.pamphlet2
-rw-r--r--src/algebra/fmod.spad.pamphlet2
-rw-r--r--src/algebra/fname.spad.pamphlet2
-rw-r--r--src/algebra/fnla.spad.pamphlet2
-rw-r--r--src/algebra/formula.spad.pamphlet2
-rw-r--r--src/algebra/fortcat.spad.pamphlet2
-rw-r--r--src/algebra/fortmac.spad.pamphlet2
-rw-r--r--src/algebra/fortpak.spad.pamphlet2
-rw-r--r--src/algebra/fortran.spad.pamphlet2
-rw-r--r--src/algebra/forttyp.spad.pamphlet2
-rw-r--r--src/algebra/fourier.spad.pamphlet2
-rw-r--r--src/algebra/fparfrac.spad.pamphlet2
-rw-r--r--src/algebra/fr.spad.pamphlet2
-rw-r--r--src/algebra/fraction.spad.pamphlet2
-rw-r--r--src/algebra/free.spad.pamphlet2
-rw-r--r--src/algebra/fs2expxp.spad.pamphlet2
-rw-r--r--src/algebra/fs2ups.spad.pamphlet2
-rw-r--r--src/algebra/fspace.spad.pamphlet2
-rw-r--r--src/algebra/funcpkgs.spad.pamphlet2
-rw-r--r--src/algebra/functions.spad.pamphlet2
-rw-r--r--src/algebra/galfact.spad.pamphlet2
-rw-r--r--src/algebra/galfactu.spad.pamphlet2
-rw-r--r--src/algebra/galpolyu.spad.pamphlet2
-rw-r--r--src/algebra/galutil.spad.pamphlet2
-rw-r--r--src/algebra/gaussfac.spad.pamphlet2
-rw-r--r--src/algebra/gaussian.spad.pamphlet2
-rw-r--r--src/algebra/gb.spad.pamphlet2
-rw-r--r--src/algebra/gbeuclid.spad.pamphlet2
-rw-r--r--src/algebra/gbintern.spad.pamphlet2
-rw-r--r--src/algebra/gdirprod.spad.pamphlet2
-rw-r--r--src/algebra/gdpoly.spad.pamphlet2
-rw-r--r--src/algebra/geneez.spad.pamphlet2
-rw-r--r--src/algebra/generic.spad.pamphlet2
-rw-r--r--src/algebra/genufact.spad.pamphlet2
-rw-r--r--src/algebra/genups.spad.pamphlet2
-rw-r--r--src/algebra/ghensel.spad.pamphlet2
-rw-r--r--src/algebra/gpgcd.spad.pamphlet2
-rw-r--r--src/algebra/gpol.spad.pamphlet2
-rw-r--r--src/algebra/grdef.spad.pamphlet2
-rw-r--r--src/algebra/groebf.spad.pamphlet2
-rw-r--r--src/algebra/groebsol.spad.pamphlet2
-rw-r--r--src/algebra/gseries.spad.pamphlet2
-rw-r--r--src/algebra/herm.as.pamphlet2
-rw-r--r--src/algebra/ideal.spad.pamphlet2
-rw-r--r--src/algebra/idecomp.spad.pamphlet2
-rw-r--r--src/algebra/indexedp.spad.pamphlet2
-rw-r--r--src/algebra/infprod.spad.pamphlet2
-rw-r--r--src/algebra/intaf.spad.pamphlet2
-rw-r--r--src/algebra/intalg.spad.pamphlet2
-rw-r--r--src/algebra/intaux.spad.pamphlet2
-rw-r--r--src/algebra/intclos.spad.pamphlet2
-rw-r--r--src/algebra/intef.spad.pamphlet2
-rw-r--r--src/algebra/integer.spad.pamphlet2
-rw-r--r--src/algebra/integrat.spad.pamphlet2
-rw-r--r--src/algebra/interval.as.pamphlet2
-rw-r--r--src/algebra/interval.spad.pamphlet2
-rw-r--r--src/algebra/intfact.spad.pamphlet2
-rw-r--r--src/algebra/intpm.spad.pamphlet2
-rw-r--r--src/algebra/intrf.spad.pamphlet2
-rw-r--r--src/algebra/invnode.as.pamphlet2
-rw-r--r--src/algebra/invrender.as.pamphlet2
-rw-r--r--src/algebra/invtypes.as.pamphlet2
-rw-r--r--src/algebra/invutils.as.pamphlet2
-rw-r--r--src/algebra/irexpand.spad.pamphlet2
-rw-r--r--src/algebra/irsn.spad.pamphlet2
-rw-r--r--src/algebra/ituple.spad.pamphlet2
-rw-r--r--src/algebra/iviews.as.pamphlet2
-rw-r--r--src/algebra/java.spad.pamphlet2
-rw-r--r--src/algebra/kl.spad.pamphlet2
-rw-r--r--src/algebra/kovacic.spad.pamphlet2
-rw-r--r--src/algebra/laplace.spad.pamphlet2
-rw-r--r--src/algebra/laurent.spad.pamphlet2
-rw-r--r--src/algebra/leadcdet.spad.pamphlet2
-rw-r--r--src/algebra/lie.spad.pamphlet2
-rw-r--r--src/algebra/limitps.spad.pamphlet2
-rw-r--r--src/algebra/lindep.spad.pamphlet2
-rw-r--r--src/algebra/lingrob.spad.pamphlet2
-rw-r--r--src/algebra/liouv.spad.pamphlet2
-rw-r--r--src/algebra/list.spad.pamphlet2
-rw-r--r--src/algebra/listgcd.spad.pamphlet2
-rw-r--r--src/algebra/lmdict.spad.pamphlet2
-rw-r--r--src/algebra/lodo.spad.pamphlet2
-rw-r--r--src/algebra/lodof.spad.pamphlet2
-rw-r--r--src/algebra/lodop.spad.pamphlet2
-rw-r--r--src/algebra/manip.spad.pamphlet2
-rw-r--r--src/algebra/mappkg.spad.pamphlet2
-rw-r--r--src/algebra/matcat.spad.pamphlet2
-rw-r--r--src/algebra/matfuns.spad.pamphlet2
-rw-r--r--src/algebra/mathml.spad.pamphlet2
-rw-r--r--src/algebra/matrix.spad.pamphlet2
-rw-r--r--src/algebra/matstor.spad.pamphlet2
-rw-r--r--src/algebra/mesh.spad.pamphlet2
-rw-r--r--src/algebra/mfinfact.spad.pamphlet2
-rw-r--r--src/algebra/misc.spad.pamphlet2
-rw-r--r--src/algebra/mkfunc.spad.pamphlet2
-rw-r--r--src/algebra/mkrecord.spad.pamphlet2
-rw-r--r--src/algebra/mlift.spad.jhd.pamphlet2
-rw-r--r--src/algebra/mlift.spad.pamphlet2
-rw-r--r--src/algebra/moddfact.spad.pamphlet2
-rw-r--r--src/algebra/modgcd.spad.pamphlet2
-rw-r--r--src/algebra/modmon.spad.pamphlet2
-rw-r--r--src/algebra/modmonom.spad.pamphlet2
-rw-r--r--src/algebra/modring.spad.pamphlet2
-rw-r--r--src/algebra/moebius.spad.pamphlet2
-rw-r--r--src/algebra/mring.spad.pamphlet2
-rw-r--r--src/algebra/mset.spad.pamphlet2
-rw-r--r--src/algebra/mts.spad.pamphlet2
-rw-r--r--src/algebra/multfact.spad.pamphlet2
-rw-r--r--src/algebra/multpoly.spad.pamphlet2
-rw-r--r--src/algebra/multsqfr.spad.pamphlet2
-rw-r--r--src/algebra/naalg.spad.pamphlet2
-rw-r--r--src/algebra/naalgc.spad.pamphlet2
-rw-r--r--src/algebra/ndftip.as.pamphlet2
-rw-r--r--src/algebra/nepip.as.pamphlet2
-rw-r--r--src/algebra/net.spad.pamphlet2
-rw-r--r--src/algebra/newdata.spad.pamphlet2
-rw-r--r--src/algebra/newpoint.spad.pamphlet2
-rw-r--r--src/algebra/newpoly.spad.pamphlet2
-rw-r--r--src/algebra/nlinsol.spad.pamphlet2
-rw-r--r--src/algebra/nlode.spad.pamphlet2
-rw-r--r--src/algebra/noptip.as.pamphlet2
-rw-r--r--src/algebra/npcoef.spad.pamphlet2
-rw-r--r--src/algebra/nqip.as.pamphlet2
-rw-r--r--src/algebra/nrc.as.pamphlet2
-rw-r--r--src/algebra/nregset.spad.pamphlet2
-rw-r--r--src/algebra/nsfip.as.pamphlet2
-rw-r--r--src/algebra/nsregset.spad.pamphlet2
-rw-r--r--src/algebra/numeigen.spad.pamphlet2
-rw-r--r--src/algebra/numeric.spad.pamphlet2
-rw-r--r--src/algebra/numode.spad.pamphlet2
-rw-r--r--src/algebra/numquad.spad.pamphlet2
-rw-r--r--src/algebra/numsolve.spad.pamphlet2
-rw-r--r--src/algebra/numtheor.spad.pamphlet2
-rw-r--r--src/algebra/oct.spad.pamphlet2
-rw-r--r--src/algebra/odealg.spad.pamphlet2
-rw-r--r--src/algebra/odeef.spad.pamphlet2
-rw-r--r--src/algebra/oderf.spad.pamphlet2
-rw-r--r--src/algebra/omcat.spad.pamphlet2
-rw-r--r--src/algebra/omdev.spad.pamphlet2
-rw-r--r--src/algebra/omerror.spad.pamphlet2
-rw-r--r--src/algebra/omserver.spad.pamphlet2
-rw-r--r--src/algebra/op.spad.pamphlet2
-rw-r--r--src/algebra/opalg.spad.pamphlet2
-rw-r--r--src/algebra/openmath.spad.pamphlet2
-rw-r--r--src/algebra/ore.spad.pamphlet2
-rw-r--r--src/algebra/out.spad.pamphlet2
-rw-r--r--src/algebra/outform.spad.pamphlet2
-rw-r--r--src/algebra/pade.spad.pamphlet2
-rw-r--r--src/algebra/padic.spad.pamphlet2
-rw-r--r--src/algebra/padiclib.spad.pamphlet2
-rw-r--r--src/algebra/paramete.spad.pamphlet2
-rw-r--r--src/algebra/partperm.spad.pamphlet2
-rw-r--r--src/algebra/patmatch1.spad.pamphlet2
-rw-r--r--src/algebra/patmatch2.spad.pamphlet2
-rw-r--r--src/algebra/pattern.spad.pamphlet2
-rw-r--r--src/algebra/pcurve.spad.pamphlet2
-rw-r--r--src/algebra/pdecomp.spad.pamphlet2
-rw-r--r--src/algebra/perm.spad.pamphlet2
-rw-r--r--src/algebra/perman.spad.pamphlet2
-rw-r--r--src/algebra/permgrps.spad.pamphlet2
-rw-r--r--src/algebra/pf.spad.pamphlet2
-rw-r--r--src/algebra/pfbr.spad.pamphlet2
-rw-r--r--src/algebra/pfo.spad.pamphlet2
-rw-r--r--src/algebra/pfr.spad.pamphlet2
-rw-r--r--src/algebra/pgcd.spad.pamphlet2
-rw-r--r--src/algebra/pgrobner.spad.pamphlet2
-rw-r--r--src/algebra/pinterp.spad.pamphlet2
-rw-r--r--src/algebra/pleqn.spad.pamphlet2
-rw-r--r--src/algebra/plot.spad.pamphlet2
-rw-r--r--src/algebra/plot3d.spad.pamphlet2
-rw-r--r--src/algebra/plottool.spad.pamphlet2
-rw-r--r--src/algebra/polset.spad.pamphlet2
-rw-r--r--src/algebra/poltopol.spad.pamphlet2
-rw-r--r--src/algebra/poly.spad.pamphlet2
-rw-r--r--src/algebra/polycat.spad.pamphlet2
-rw-r--r--src/algebra/primelt.spad.pamphlet2
-rw-r--r--src/algebra/print.spad.pamphlet2
-rw-r--r--src/algebra/product.spad.pamphlet2
-rw-r--r--src/algebra/prs.spad.pamphlet2
-rw-r--r--src/algebra/prtition.spad.pamphlet2
-rw-r--r--src/algebra/pscat.spad.pamphlet2
-rw-r--r--src/algebra/pseudolin.spad.pamphlet2
-rw-r--r--src/algebra/ptranfn.spad.pamphlet2
-rw-r--r--src/algebra/puiseux.spad.pamphlet2
-rw-r--r--src/algebra/qalgset.spad.pamphlet2
-rw-r--r--src/algebra/quat.spad.pamphlet2
-rw-r--r--src/algebra/radeigen.spad.pamphlet2
-rw-r--r--src/algebra/radix.spad.pamphlet2
-rw-r--r--src/algebra/random.spad.pamphlet2
-rw-r--r--src/algebra/ratfact.spad.pamphlet2
-rw-r--r--src/algebra/rdeef.spad.pamphlet2
-rw-r--r--src/algebra/rderf.spad.pamphlet2
-rw-r--r--src/algebra/rdesys.spad.pamphlet2
-rw-r--r--src/algebra/real0q.spad.pamphlet2
-rw-r--r--src/algebra/realzero.spad.pamphlet2
-rw-r--r--src/algebra/reclos.spad.pamphlet2
-rw-r--r--src/algebra/regset.spad.pamphlet2
-rw-r--r--src/algebra/rep1.spad.pamphlet2
-rw-r--r--src/algebra/rep2.spad.pamphlet2
-rw-r--r--src/algebra/resring.spad.pamphlet2
-rw-r--r--src/algebra/retract.spad.pamphlet2
-rw-r--r--src/algebra/rf.spad.pamphlet2
-rw-r--r--src/algebra/riccati.spad.pamphlet2
-rw-r--r--src/algebra/rinterp.spad.pamphlet2
-rw-r--r--src/algebra/routines.spad.pamphlet2
-rw-r--r--src/algebra/rule.spad.pamphlet2
-rw-r--r--src/algebra/s.spad.pamphlet2
-rw-r--r--src/algebra/seg.spad.pamphlet2
-rw-r--r--src/algebra/setorder.spad.pamphlet2
-rw-r--r--src/algebra/sets.spad.pamphlet2
-rw-r--r--src/algebra/sex.spad.pamphlet2
-rw-r--r--src/algebra/sf.spad.pamphlet2
-rw-r--r--src/algebra/sgcf.spad.pamphlet2
-rw-r--r--src/algebra/si.spad.pamphlet2
-rw-r--r--src/algebra/sign.spad.pamphlet2
-rw-r--r--src/algebra/smith.spad.pamphlet2
-rw-r--r--src/algebra/solvedio.spad.pamphlet2
-rw-r--r--src/algebra/solvefor.spad.pamphlet2
-rw-r--r--src/algebra/solvelin.spad.pamphlet2
-rw-r--r--src/algebra/solverad.spad.pamphlet2
-rw-r--r--src/algebra/sortpak.spad.pamphlet2
-rw-r--r--src/algebra/space.spad.pamphlet2
-rw-r--r--src/algebra/special.spad.pamphlet2
-rw-r--r--src/algebra/sregset.spad.pamphlet2
-rw-r--r--src/algebra/stream.spad.pamphlet2
-rw-r--r--src/algebra/string.spad.pamphlet2
-rw-r--r--src/algebra/sttaylor.spad.pamphlet2
-rw-r--r--src/algebra/sttf.spad.pamphlet2
-rw-r--r--src/algebra/sturm.spad.pamphlet2
-rw-r--r--src/algebra/suchthat.spad.pamphlet2
-rw-r--r--src/algebra/suls.spad.pamphlet2
-rw-r--r--src/algebra/sum.spad.pamphlet2
-rw-r--r--src/algebra/sups.spad.pamphlet2
-rw-r--r--src/algebra/supxs.spad.pamphlet2
-rw-r--r--src/algebra/suts.spad.pamphlet2
-rw-r--r--src/algebra/symbol.spad.pamphlet2
-rw-r--r--src/algebra/syntax.spad.pamphlet2
-rw-r--r--src/algebra/syssolp.spad.pamphlet2
-rw-r--r--src/algebra/system.spad.pamphlet2
-rw-r--r--src/algebra/table.spad.pamphlet2
-rw-r--r--src/algebra/tableau.spad.pamphlet2
-rw-r--r--src/algebra/taylor.spad.pamphlet2
-rw-r--r--src/algebra/tex.spad.pamphlet2
-rw-r--r--src/algebra/tools.spad.pamphlet2
-rw-r--r--src/algebra/transsolve.spad.pamphlet2
-rw-r--r--src/algebra/tree.spad.pamphlet2
-rw-r--r--src/algebra/trigcat.spad.pamphlet2
-rw-r--r--src/algebra/triset.spad.pamphlet2
-rw-r--r--src/algebra/tube.spad.pamphlet2
-rw-r--r--src/algebra/twofact.spad.pamphlet2
-rw-r--r--src/algebra/unifact.spad.pamphlet2
-rw-r--r--src/algebra/updecomp.spad.pamphlet2
-rw-r--r--src/algebra/updivp.spad.pamphlet2
-rw-r--r--src/algebra/utsode.spad.pamphlet2
-rw-r--r--src/algebra/variable.spad.pamphlet2
-rw-r--r--src/algebra/vector.spad.pamphlet2
-rw-r--r--src/algebra/view2D.spad.pamphlet2
-rw-r--r--src/algebra/view3D.spad.pamphlet2
-rw-r--r--src/algebra/viewDef.spad.pamphlet2
-rw-r--r--src/algebra/viewpack.spad.pamphlet2
-rw-r--r--src/algebra/void.spad.pamphlet2
-rw-r--r--src/algebra/weier.spad.pamphlet2
-rw-r--r--src/algebra/wtpol.spad.pamphlet2
-rw-r--r--src/algebra/xlpoly.spad.pamphlet2
-rw-r--r--src/algebra/xpoly.spad.pamphlet2
-rw-r--r--src/algebra/ystream.spad.pamphlet2
-rw-r--r--src/algebra/zerodim.spad.pamphlet2
-rw-r--r--src/interp/i-syscmd.boot4
378 files changed, 382 insertions, 378 deletions
diff --git a/src/ChangeLog b/src/ChangeLog
index dbba0800..20f386c8 100644
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,3 +1,7 @@
+2009-10-15 Gabriel Dos Reis <gdr@cse.tamu.edu>
+
+ * interp/i-syscmd.boot (reportOpsFromUnitDirectly): Tidy.
+
2009-10-14 Gabriel Dos Reis <gdr@cs.tamu.edu>
* algebra/string.spad.pamphlet (hash$IndexedString): Simplify.
diff --git a/src/algebra/Makefile.pamphlet b/src/algebra/Makefile.pamphlet
index ee5db924..342c5fe0 100644
--- a/src/algebra/Makefile.pamphlet
+++ b/src/algebra/Makefile.pamphlet
@@ -1,6 +1,6 @@
%% Oh Emacs, this is a -*- Makefile -*-, so give me tabs.
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\title{\$SPAD/src/algebra Makefile}
\author{Timothy Daly \and Gabriel Dos~Reis}
diff --git a/src/algebra/acplot.spad.pamphlet b/src/algebra/acplot.spad.pamphlet
index 522de8b4..cf69d391 100644
--- a/src/algebra/acplot.spad.pamphlet
+++ b/src/algebra/acplot.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{src/algebra acplot.spad}
\author{Clifton J. Williamson}
diff --git a/src/algebra/aggcat.spad.pamphlet b/src/algebra/aggcat.spad.pamphlet
index d8d3b059..d7cb421b 100644
--- a/src/algebra/aggcat.spad.pamphlet
+++ b/src/algebra/aggcat.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{src/algebra aggcat.spad}
\author{Michael Monagan, Manuel Bronstein, Richard Jenks, Stephen Watt}
diff --git a/src/algebra/aggcat2.spad.pamphlet b/src/algebra/aggcat2.spad.pamphlet
index adb212ad..0bfd05b6 100644
--- a/src/algebra/aggcat2.spad.pamphlet
+++ b/src/algebra/aggcat2.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{src/algebra aggcat2.spad}
\author{Robert S. Sutor}
diff --git a/src/algebra/algcat.spad.pamphlet b/src/algebra/algcat.spad.pamphlet
index 982f6f0a..27fdf00a 100644
--- a/src/algebra/algcat.spad.pamphlet
+++ b/src/algebra/algcat.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{src/algebra algcat.spad}
\author{Barry Trager, Claude Quitte, Manuel Bronstein}
diff --git a/src/algebra/algext.spad.pamphlet b/src/algebra/algext.spad.pamphlet
index b51f56ea..bf73af55 100644
--- a/src/algebra/algext.spad.pamphlet
+++ b/src/algebra/algext.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{src/algebra algext.spad}
\author{Barry Trager, Manuel Bronstein, Clifton Williamson}
diff --git a/src/algebra/algfact.spad.pamphlet b/src/algebra/algfact.spad.pamphlet
index 3ac0462e..d95058e6 100644
--- a/src/algebra/algfact.spad.pamphlet
+++ b/src/algebra/algfact.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{src/algebra algfact.spad}
\author{Patrizia Gianni, Manuel Bronstein}
diff --git a/src/algebra/algfunc.spad.pamphlet b/src/algebra/algfunc.spad.pamphlet
index 0466dbb4..b32e1f56 100644
--- a/src/algebra/algfunc.spad.pamphlet
+++ b/src/algebra/algfunc.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra algfunc.spad}
\author{Manuel Bronstein}
diff --git a/src/algebra/allfact.spad.pamphlet b/src/algebra/allfact.spad.pamphlet
index 3289cbc6..c0b520d5 100644
--- a/src/algebra/allfact.spad.pamphlet
+++ b/src/algebra/allfact.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra allfact.spad}
\author{Patrizia Gianni}
diff --git a/src/algebra/alql.spad.pamphlet b/src/algebra/alql.spad.pamphlet
index 4b704286..8625c4ca 100644
--- a/src/algebra/alql.spad.pamphlet
+++ b/src/algebra/alql.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra alql.spad}
\author{The Axiom Team}
diff --git a/src/algebra/annacat.spad.pamphlet b/src/algebra/annacat.spad.pamphlet
index cf22598c..1c92b907 100644
--- a/src/algebra/annacat.spad.pamphlet
+++ b/src/algebra/annacat.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra annacat.spad}
\author{Brian Dupee}
diff --git a/src/algebra/any.spad.pamphlet b/src/algebra/any.spad.pamphlet
index 247a3c82..52d579b4 100644
--- a/src/algebra/any.spad.pamphlet
+++ b/src/algebra/any.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{src/algebra any.spad}
\author{Robert S. Sutor \and Gabriel Dos~Reis}
diff --git a/src/algebra/array1.spad.pamphlet b/src/algebra/array1.spad.pamphlet
index df4c2205..d159b942 100644
--- a/src/algebra/array1.spad.pamphlet
+++ b/src/algebra/array1.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra array1.spad}
\author{Gabriel Dos Reis, Michael Monagan, Stephen Watt}
diff --git a/src/algebra/array2.spad.pamphlet b/src/algebra/array2.spad.pamphlet
index 8daa7b77..eceb691a 100644
--- a/src/algebra/array2.spad.pamphlet
+++ b/src/algebra/array2.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra array2.spad}
\author{The Axiom Team}
diff --git a/src/algebra/asp.spad.pamphlet b/src/algebra/asp.spad.pamphlet
index e2706808..93b26746 100644
--- a/src/algebra/asp.spad.pamphlet
+++ b/src/algebra/asp.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra asp.spad}
\author{Mike Dewar, Grant Keady, Godfrey Nolan}
diff --git a/src/algebra/attreg.spad.pamphlet b/src/algebra/attreg.spad.pamphlet
index 221d387a..97ecc7a2 100644
--- a/src/algebra/attreg.spad.pamphlet
+++ b/src/algebra/attreg.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra attreg.spad}
\author{The Axiom Team}
diff --git a/src/algebra/axtimer.as.pamphlet b/src/algebra/axtimer.as.pamphlet
index b05a3aab..76fefd66 100644
--- a/src/algebra/axtimer.as.pamphlet
+++ b/src/algebra/axtimer.as.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra axtimer.as}
\author{The Axiom Team}
diff --git a/src/algebra/bags.spad.pamphlet b/src/algebra/bags.spad.pamphlet
index c00704a4..69f6d509 100644
--- a/src/algebra/bags.spad.pamphlet
+++ b/src/algebra/bags.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra bags.spad}
\author{Michael Monagan, Stephen Watt}
diff --git a/src/algebra/bezout.spad.pamphlet b/src/algebra/bezout.spad.pamphlet
index 31bde193..e672dcc2 100644
--- a/src/algebra/bezout.spad.pamphlet
+++ b/src/algebra/bezout.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra bezout.spad}
\author{Clifton J. Williamson}
diff --git a/src/algebra/boolean.spad.pamphlet b/src/algebra/boolean.spad.pamphlet
index 12b6ad33..2ac487e1 100644
--- a/src/algebra/boolean.spad.pamphlet
+++ b/src/algebra/boolean.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\title{src/algebra boolean.spad}
\author{Stephen M. Watt, Michael Monagan, Gabriel Dos~Reis}
diff --git a/src/algebra/brill.spad.pamphlet b/src/algebra/brill.spad.pamphlet
index 6f37c30a..d8b62741 100644
--- a/src/algebra/brill.spad.pamphlet
+++ b/src/algebra/brill.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra brill.spad}
\author{Frederic Lehobey, James H. Davenport}
diff --git a/src/algebra/c02.spad.pamphlet b/src/algebra/c02.spad.pamphlet
index f51481a0..87e2adc1 100644
--- a/src/algebra/c02.spad.pamphlet
+++ b/src/algebra/c02.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra c02.spad}
\author{Godfrey Nolan, Mike Dewar}
diff --git a/src/algebra/c05.spad.pamphlet b/src/algebra/c05.spad.pamphlet
index 61e2337c..70a9a4f9 100644
--- a/src/algebra/c05.spad.pamphlet
+++ b/src/algebra/c05.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra c05.spad}
\author{Godfrey Nolan, Mike Dewar}
diff --git a/src/algebra/c06.spad.pamphlet b/src/algebra/c06.spad.pamphlet
index be504dde..939d5294 100644
--- a/src/algebra/c06.spad.pamphlet
+++ b/src/algebra/c06.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra c06.spad}
\author{Godfrey Nolan, Mike Dewar}
diff --git a/src/algebra/card.spad.pamphlet b/src/algebra/card.spad.pamphlet
index 4ab212af..1bd14450 100644
--- a/src/algebra/card.spad.pamphlet
+++ b/src/algebra/card.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra card.spad}
\author{Stephen M. Watt}
diff --git a/src/algebra/carten.spad.pamphlet b/src/algebra/carten.spad.pamphlet
index 37383bfb..2484508c 100644
--- a/src/algebra/carten.spad.pamphlet
+++ b/src/algebra/carten.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra carten.spad}
\author{Stephen M. Watt}
diff --git a/src/algebra/catdef.spad.pamphlet b/src/algebra/catdef.spad.pamphlet
index 602e3eb6..f48017ac 100644
--- a/src/algebra/catdef.spad.pamphlet
+++ b/src/algebra/catdef.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\title{\$SPAD/src/algebra catdef.spad}
\author{James Davenport, Lalo Gonzalez-Vega, Gabriel Dos~Reis}
diff --git a/src/algebra/cden.spad.pamphlet b/src/algebra/cden.spad.pamphlet
index 55d3e924..0e7240cc 100644
--- a/src/algebra/cden.spad.pamphlet
+++ b/src/algebra/cden.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra cden.spad}
\author{Manuel Bronstein}
diff --git a/src/algebra/clifford.spad.pamphlet b/src/algebra/clifford.spad.pamphlet
index bbc0f75c..20fa8514 100644
--- a/src/algebra/clifford.spad.pamphlet
+++ b/src/algebra/clifford.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\usepackage{amssymb}
\input{diagrams.tex}
\begin{document}
diff --git a/src/algebra/clip.spad.pamphlet b/src/algebra/clip.spad.pamphlet
index d74d0d78..9e735766 100644
--- a/src/algebra/clip.spad.pamphlet
+++ b/src/algebra/clip.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra clip.spad}
\author{Clifton J. Williamson}
diff --git a/src/algebra/cmplxrt.spad.pamphlet b/src/algebra/cmplxrt.spad.pamphlet
index 5cd1072e..f2a13fd7 100644
--- a/src/algebra/cmplxrt.spad.pamphlet
+++ b/src/algebra/cmplxrt.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra cmplxrt.spad}
\author{Patrizia Gianni}
diff --git a/src/algebra/coerce.spad.pamphlet b/src/algebra/coerce.spad.pamphlet
index bc066cda..6d1402bb 100644
--- a/src/algebra/coerce.spad.pamphlet
+++ b/src/algebra/coerce.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\title{\$SPAD/src/algebra coerce.spad}
\author{Richard Jenks, Manuel Bronstein, Gabriel Dos Reis}
diff --git a/src/algebra/color.spad.pamphlet b/src/algebra/color.spad.pamphlet
index b1a4963f..4899d450 100644
--- a/src/algebra/color.spad.pamphlet
+++ b/src/algebra/color.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\title{src/algebra color.spad}
diff --git a/src/algebra/combfunc.spad.pamphlet b/src/algebra/combfunc.spad.pamphlet
index a6c357a0..f1dc9583 100644
--- a/src/algebra/combfunc.spad.pamphlet
+++ b/src/algebra/combfunc.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra combfunc.spad}
\author{Manuel Bronstein, Martin Rubey}
diff --git a/src/algebra/combinat.spad.pamphlet b/src/algebra/combinat.spad.pamphlet
index 67993613..990930bb 100644
--- a/src/algebra/combinat.spad.pamphlet
+++ b/src/algebra/combinat.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra combinat.spad}
\author{Martin Brock, Robert Sutor, Michael Monagan}
diff --git a/src/algebra/complet.spad.pamphlet b/src/algebra/complet.spad.pamphlet
index ed071820..edc9837e 100644
--- a/src/algebra/complet.spad.pamphlet
+++ b/src/algebra/complet.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra complet.spad}
\author{Manuel Bronstein}
diff --git a/src/algebra/constant.spad.pamphlet b/src/algebra/constant.spad.pamphlet
index 0e28c371..be5e9f90 100644
--- a/src/algebra/constant.spad.pamphlet
+++ b/src/algebra/constant.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra constant.spad}
\author{Manuel Bronstein, James Davenport}
diff --git a/src/algebra/cont.spad.pamphlet b/src/algebra/cont.spad.pamphlet
index 68e535df..9444f58f 100644
--- a/src/algebra/cont.spad.pamphlet
+++ b/src/algebra/cont.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra cont.spad}
\author{Brian Dupee}
diff --git a/src/algebra/contfrac.spad.pamphlet b/src/algebra/contfrac.spad.pamphlet
index 89237728..e7291148 100644
--- a/src/algebra/contfrac.spad.pamphlet
+++ b/src/algebra/contfrac.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra contfrac.spad}
\author{Stephen M. Watt, Clifton J. Williamson}
diff --git a/src/algebra/coordsys.spad.pamphlet b/src/algebra/coordsys.spad.pamphlet
index 1dc91964..2423c047 100644
--- a/src/algebra/coordsys.spad.pamphlet
+++ b/src/algebra/coordsys.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra coordsys.spad}
\author{Jim Wen, Clifton J. Williamson}
diff --git a/src/algebra/cra.spad.pamphlet b/src/algebra/cra.spad.pamphlet
index 8b50ae68..fd67f709 100644
--- a/src/algebra/cra.spad.pamphlet
+++ b/src/algebra/cra.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra cra.spad}
\author{The Axiom Team}
diff --git a/src/algebra/crfp.spad.pamphlet b/src/algebra/crfp.spad.pamphlet
index 3d26fbbd..d2844503 100644
--- a/src/algebra/crfp.spad.pamphlet
+++ b/src/algebra/crfp.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra crfp.spad}
\author{Johannes Grabmeier}
diff --git a/src/algebra/curve.spad.pamphlet b/src/algebra/curve.spad.pamphlet
index 3671bf2b..a5eceb29 100644
--- a/src/algebra/curve.spad.pamphlet
+++ b/src/algebra/curve.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra curve.spad}
\author{Manuel Bronstein}
diff --git a/src/algebra/cycles.spad.pamphlet b/src/algebra/cycles.spad.pamphlet
index 25b44b96..ca9ce44d 100644
--- a/src/algebra/cycles.spad.pamphlet
+++ b/src/algebra/cycles.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra cycles.spad}
\author{William Burge}
diff --git a/src/algebra/cyclotom.spad.pamphlet b/src/algebra/cyclotom.spad.pamphlet
index 1d8c77df..aa7fba78 100644
--- a/src/algebra/cyclotom.spad.pamphlet
+++ b/src/algebra/cyclotom.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra cyclotom.spad}
\author{The Axiom Team}
diff --git a/src/algebra/d01.spad.pamphlet b/src/algebra/d01.spad.pamphlet
index d3770e1b..0226aba8 100644
--- a/src/algebra/d01.spad.pamphlet
+++ b/src/algebra/d01.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra d01.spad}
\author{Godfrey Nolan, Mike Dewar}
diff --git a/src/algebra/d01Package.spad.pamphlet b/src/algebra/d01Package.spad.pamphlet
index 7ee374d2..131e00be 100644
--- a/src/algebra/d01Package.spad.pamphlet
+++ b/src/algebra/d01Package.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra d01Package.spad}
\author{Brian Dupee}
diff --git a/src/algebra/d01agents.spad.pamphlet b/src/algebra/d01agents.spad.pamphlet
index 0df6f727..96304507 100644
--- a/src/algebra/d01agents.spad.pamphlet
+++ b/src/algebra/d01agents.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra d01agents.spad}
\author{Brian Dupee}
diff --git a/src/algebra/d01routine.spad.pamphlet b/src/algebra/d01routine.spad.pamphlet
index 9733ea0a..ee7b45fa 100644
--- a/src/algebra/d01routine.spad.pamphlet
+++ b/src/algebra/d01routine.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra d01routine.spad}
\author{Brian Dupee}
diff --git a/src/algebra/d01transform.spad.pamphlet b/src/algebra/d01transform.spad.pamphlet
index 6866ac9b..f1949db4 100644
--- a/src/algebra/d01transform.spad.pamphlet
+++ b/src/algebra/d01transform.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra d01transform.spad}
\author{Brian Dupee}
diff --git a/src/algebra/d01weights.spad.pamphlet b/src/algebra/d01weights.spad.pamphlet
index 0679c46e..dc0f1b2b 100644
--- a/src/algebra/d01weights.spad.pamphlet
+++ b/src/algebra/d01weights.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra d01weights.spad}
\author{Brian Dupee}
diff --git a/src/algebra/d02.spad.pamphlet b/src/algebra/d02.spad.pamphlet
index 2b4e3d2b..79b845f2 100644
--- a/src/algebra/d02.spad.pamphlet
+++ b/src/algebra/d02.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra d02.spad}
\author{Godfrey Nolan, Mike Dewar}
diff --git a/src/algebra/d02Package.spad.pamphlet b/src/algebra/d02Package.spad.pamphlet
index 35d581e9..d346bab9 100644
--- a/src/algebra/d02Package.spad.pamphlet
+++ b/src/algebra/d02Package.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra d02Package.spad}
\author{Brian Dupee}
diff --git a/src/algebra/d02agents.spad.pamphlet b/src/algebra/d02agents.spad.pamphlet
index d3e18ec4..5d5c498c 100644
--- a/src/algebra/d02agents.spad.pamphlet
+++ b/src/algebra/d02agents.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra d02agents.spad}
\author{Brian Dupee}
diff --git a/src/algebra/d02routine.spad.pamphlet b/src/algebra/d02routine.spad.pamphlet
index 106f29bc..0f30183d 100644
--- a/src/algebra/d02routine.spad.pamphlet
+++ b/src/algebra/d02routine.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra d02routine.spad}
\author{Brian Dupee}
diff --git a/src/algebra/d03.spad.pamphlet b/src/algebra/d03.spad.pamphlet
index 9f4e0cb8..58e36538 100644
--- a/src/algebra/d03.spad.pamphlet
+++ b/src/algebra/d03.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra d03.spad}
\author{Godfrey Nolan, Mike Dewar}
diff --git a/src/algebra/d03Package.spad.pamphlet b/src/algebra/d03Package.spad.pamphlet
index 7a0a146f..3cb2a692 100644
--- a/src/algebra/d03Package.spad.pamphlet
+++ b/src/algebra/d03Package.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra d03Package.spad}
\author{Brian Dupee}
diff --git a/src/algebra/d03agents.spad.pamphlet b/src/algebra/d03agents.spad.pamphlet
index 59ec9dfc..8019832e 100644
--- a/src/algebra/d03agents.spad.pamphlet
+++ b/src/algebra/d03agents.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra d03agents.spad}
\author{Brian Dupee}
diff --git a/src/algebra/d03routine.spad.pamphlet b/src/algebra/d03routine.spad.pamphlet
index cd7a10c8..bc090fb3 100644
--- a/src/algebra/d03routine.spad.pamphlet
+++ b/src/algebra/d03routine.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra d03routine.spad}
\author{Brian Dupee}
diff --git a/src/algebra/data.spad.pamphlet b/src/algebra/data.spad.pamphlet
index 7ad3e7bb..54fabe49 100644
--- a/src/algebra/data.spad.pamphlet
+++ b/src/algebra/data.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\author{Gabriel Dos~Reis}
diff --git a/src/algebra/ddfact.spad.pamphlet b/src/algebra/ddfact.spad.pamphlet
index df0d0a05..46ef51c6 100644
--- a/src/algebra/ddfact.spad.pamphlet
+++ b/src/algebra/ddfact.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra ddfact.spad}
\author{Patrizia Gianni, Barry Trager}
diff --git a/src/algebra/defaults.spad.pamphlet b/src/algebra/defaults.spad.pamphlet
index 9f9bf356..8de63814 100644
--- a/src/algebra/defaults.spad.pamphlet
+++ b/src/algebra/defaults.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra defaults.spad}
\author{Michael Monagan}
diff --git a/src/algebra/defintef.spad.pamphlet b/src/algebra/defintef.spad.pamphlet
index 42a7ca0b..c7091f29 100644
--- a/src/algebra/defintef.spad.pamphlet
+++ b/src/algebra/defintef.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra defintef.spad}
\author{Manuel Bronstein}
diff --git a/src/algebra/defintrf.spad.pamphlet b/src/algebra/defintrf.spad.pamphlet
index 4d85a668..1b870a17 100644
--- a/src/algebra/defintrf.spad.pamphlet
+++ b/src/algebra/defintrf.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra defintrf.spad}
\author{Manuel Bronstein}
diff --git a/src/algebra/degred.spad.pamphlet b/src/algebra/degred.spad.pamphlet
index 6bd8d3f6..001482f2 100644
--- a/src/algebra/degred.spad.pamphlet
+++ b/src/algebra/degred.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra degred.spad}
\author{The Axiom Team}
diff --git a/src/algebra/derham.spad.pamphlet b/src/algebra/derham.spad.pamphlet
index a04576b2..fe2a2e36 100644
--- a/src/algebra/derham.spad.pamphlet
+++ b/src/algebra/derham.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra derham.spad}
\author{Larry A. Lambe}
diff --git a/src/algebra/dhmatrix.spad.pamphlet b/src/algebra/dhmatrix.spad.pamphlet
index 9e847c42..3ed24352 100644
--- a/src/algebra/dhmatrix.spad.pamphlet
+++ b/src/algebra/dhmatrix.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra dhmatrix.spad}
\author{Richard Paul and Timothy Daly}
diff --git a/src/algebra/divisor.spad.pamphlet b/src/algebra/divisor.spad.pamphlet
index 3a177ed4..98bc97e6 100644
--- a/src/algebra/divisor.spad.pamphlet
+++ b/src/algebra/divisor.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra divisor.spad}
\author{Manuel Bronstein}
diff --git a/src/algebra/domain.spad.pamphlet b/src/algebra/domain.spad.pamphlet
index 37b7d4b6..0ee4b5bb 100644
--- a/src/algebra/domain.spad.pamphlet
+++ b/src/algebra/domain.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\author{Gabriel Dos~Reis}
diff --git a/src/algebra/dpolcat.spad.pamphlet b/src/algebra/dpolcat.spad.pamphlet
index 2ee6eb4f..c5da0b47 100644
--- a/src/algebra/dpolcat.spad.pamphlet
+++ b/src/algebra/dpolcat.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra dpolcat.spad}
\author{William Sit}
diff --git a/src/algebra/draw.spad.pamphlet b/src/algebra/draw.spad.pamphlet
index 52f12b71..89ca6a1d 100644
--- a/src/algebra/draw.spad.pamphlet
+++ b/src/algebra/draw.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra draw.spad}
\author{Clifton J. Williamson, Scott Morrison, Jon Steinbach, Mike Dewar}
diff --git a/src/algebra/drawopt.spad.pamphlet b/src/algebra/drawopt.spad.pamphlet
index 21acd672..c24e8fae 100644
--- a/src/algebra/drawopt.spad.pamphlet
+++ b/src/algebra/drawopt.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{src/algebra drawopt.spad}
\author{Stephen M. Watt, Jim Wen}
diff --git a/src/algebra/drawpak.spad.pamphlet b/src/algebra/drawpak.spad.pamphlet
index 6166fa75..1b71cd40 100644
--- a/src/algebra/drawpak.spad.pamphlet
+++ b/src/algebra/drawpak.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra drawpak.spad}
\author{The Axiom Team}
diff --git a/src/algebra/e01.spad.pamphlet b/src/algebra/e01.spad.pamphlet
index 9ad62c8c..8cea0282 100644
--- a/src/algebra/e01.spad.pamphlet
+++ b/src/algebra/e01.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra e01.spad}
\author{Godfrey Nolan, Mike Dewar}
diff --git a/src/algebra/e02.spad.pamphlet b/src/algebra/e02.spad.pamphlet
index e09dfcae..3a06e977 100644
--- a/src/algebra/e02.spad.pamphlet
+++ b/src/algebra/e02.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra e02.spad}
\author{Godfrey Nolan, Mike Dewar}
diff --git a/src/algebra/e04.spad.pamphlet b/src/algebra/e04.spad.pamphlet
index e0f482f8..bae05dee 100644
--- a/src/algebra/e04.spad.pamphlet
+++ b/src/algebra/e04.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra e04.spad}
\author{Godfrey Nolan, Mike Dewar}
diff --git a/src/algebra/e04Package.spad.pamphlet b/src/algebra/e04Package.spad.pamphlet
index 28da22de..005b8b91 100644
--- a/src/algebra/e04Package.spad.pamphlet
+++ b/src/algebra/e04Package.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra e04Package.spad}
\author{Brian Dupee}
diff --git a/src/algebra/e04agents.spad.pamphlet b/src/algebra/e04agents.spad.pamphlet
index af55f373..238fba19 100644
--- a/src/algebra/e04agents.spad.pamphlet
+++ b/src/algebra/e04agents.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra e04agents.spad}
\author{Brian Dupee}
diff --git a/src/algebra/e04routine.spad.pamphlet b/src/algebra/e04routine.spad.pamphlet
index b0f4e6f6..59fc81c3 100644
--- a/src/algebra/e04routine.spad.pamphlet
+++ b/src/algebra/e04routine.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra e04routine.spad}
\author{Brian Dupee}
diff --git a/src/algebra/efstruc.spad.pamphlet b/src/algebra/efstruc.spad.pamphlet
index 7d56b94c..7d8f8258 100644
--- a/src/algebra/efstruc.spad.pamphlet
+++ b/src/algebra/efstruc.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra efstruc.spad}
\author{Manuel Bronstein}
diff --git a/src/algebra/efuls.spad.pamphlet b/src/algebra/efuls.spad.pamphlet
index 7db8e269..e149806f 100644
--- a/src/algebra/efuls.spad.pamphlet
+++ b/src/algebra/efuls.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra efuls.spad}
\author{Clifton J. Williamson}
diff --git a/src/algebra/efupxs.spad.pamphlet b/src/algebra/efupxs.spad.pamphlet
index 21be2b9f..296c2777 100644
--- a/src/algebra/efupxs.spad.pamphlet
+++ b/src/algebra/efupxs.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra efupxs.spad}
\author{Clifton J. Williamson}
diff --git a/src/algebra/eigen.spad.pamphlet b/src/algebra/eigen.spad.pamphlet
index e9ab3b7a..9cab7430 100644
--- a/src/algebra/eigen.spad.pamphlet
+++ b/src/algebra/eigen.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra eigen.spad}
\author{Patrizia Gianni, Barry Trager}
diff --git a/src/algebra/elemntry.spad.pamphlet b/src/algebra/elemntry.spad.pamphlet
index 1b645e04..32d3eb21 100644
--- a/src/algebra/elemntry.spad.pamphlet
+++ b/src/algebra/elemntry.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra elemntry.spad}
\author{Manuel Bronstein}
diff --git a/src/algebra/elfuts.spad.pamphlet b/src/algebra/elfuts.spad.pamphlet
index 07366493..89b64578 100644
--- a/src/algebra/elfuts.spad.pamphlet
+++ b/src/algebra/elfuts.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra elfuts.spad}
\author{Bill Burge, Clifton J. Williamson}
diff --git a/src/algebra/equation1.spad.pamphlet b/src/algebra/equation1.spad.pamphlet
index 92c0e02d..9944e386 100644
--- a/src/algebra/equation1.spad.pamphlet
+++ b/src/algebra/equation1.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra equation1.spad}
\author{The Axiom Team}
diff --git a/src/algebra/equation2.spad.pamphlet b/src/algebra/equation2.spad.pamphlet
index 9faf2bbc..7b810399 100644
--- a/src/algebra/equation2.spad.pamphlet
+++ b/src/algebra/equation2.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra equation2.spad}
\author{Stephen M. Watt, Johannes Grabmeier}
diff --git a/src/algebra/error.spad.pamphlet b/src/algebra/error.spad.pamphlet
index 4f3c828f..7b26d3da 100644
--- a/src/algebra/error.spad.pamphlet
+++ b/src/algebra/error.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra error.spad}
\author{Robert S. Sutor}
diff --git a/src/algebra/expexpan.spad.pamphlet b/src/algebra/expexpan.spad.pamphlet
index acfc7f09..0166357c 100644
--- a/src/algebra/expexpan.spad.pamphlet
+++ b/src/algebra/expexpan.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra expexpan.spad}
\author{Clifton J. Williamson}
diff --git a/src/algebra/exposed.lsp.pamphlet b/src/algebra/exposed.lsp.pamphlet
index 5247a755..40b98a2f 100644
--- a/src/algebra/exposed.lsp.pamphlet
+++ b/src/algebra/exposed.lsp.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra exposed.lsp}
\author{Timothy Daly}
diff --git a/src/algebra/expr.spad.pamphlet b/src/algebra/expr.spad.pamphlet
index 859a46aa..e1245a70 100644
--- a/src/algebra/expr.spad.pamphlet
+++ b/src/algebra/expr.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra expr.spad}
\author{Manuel Bronstein, Barry Trager}
diff --git a/src/algebra/expr2ups.spad.pamphlet b/src/algebra/expr2ups.spad.pamphlet
index 830ca944..7bcd0fd7 100644
--- a/src/algebra/expr2ups.spad.pamphlet
+++ b/src/algebra/expr2ups.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra expr2ups.spad}
\author{Clifton J. Williamson}
diff --git a/src/algebra/exprode.spad.pamphlet b/src/algebra/exprode.spad.pamphlet
index f6000408..b45ff31f 100644
--- a/src/algebra/exprode.spad.pamphlet
+++ b/src/algebra/exprode.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra exprode.spad}
\author{Manuel Bronstein}
diff --git a/src/algebra/f01.spad.pamphlet b/src/algebra/f01.spad.pamphlet
index edbbc356..c2146298 100644
--- a/src/algebra/f01.spad.pamphlet
+++ b/src/algebra/f01.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra f01.spad}
\author{Godfrey Nolan, Mike Dewar}
diff --git a/src/algebra/f02.spad.pamphlet b/src/algebra/f02.spad.pamphlet
index e5db779d..81f1df5e 100644
--- a/src/algebra/f02.spad.pamphlet
+++ b/src/algebra/f02.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra f02.spad}
\author{Godfrey Nolan, Mike Dewar}
diff --git a/src/algebra/f04.spad.pamphlet b/src/algebra/f04.spad.pamphlet
index 8be3d92f..8220f040 100644
--- a/src/algebra/f04.spad.pamphlet
+++ b/src/algebra/f04.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra f04.spad}
\author{Godfrey Nolan, Mike Dewar}
diff --git a/src/algebra/f07.spad.pamphlet b/src/algebra/f07.spad.pamphlet
index bc8f4ae0..b8f03e94 100644
--- a/src/algebra/f07.spad.pamphlet
+++ b/src/algebra/f07.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra f07.spad}
\author{Godfrey Nolan, Mike Dewar}
diff --git a/src/algebra/facutil.spad.pamphlet b/src/algebra/facutil.spad.pamphlet
index 2b7de8de..69b49a3c 100644
--- a/src/algebra/facutil.spad.pamphlet
+++ b/src/algebra/facutil.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra facutil.spad}
\author{Barry Trager}
diff --git a/src/algebra/ffcat.spad.pamphlet b/src/algebra/ffcat.spad.pamphlet
index de353123..bba20f3e 100644
--- a/src/algebra/ffcat.spad.pamphlet
+++ b/src/algebra/ffcat.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra ffcat.spad}
\author{Johannes Grabmeier, Alfred Scheerhorn, Barry Trager, James Davenport}
diff --git a/src/algebra/ffcg.spad.pamphlet b/src/algebra/ffcg.spad.pamphlet
index b1ff6b98..db74ff3e 100644
--- a/src/algebra/ffcg.spad.pamphlet
+++ b/src/algebra/ffcg.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra ffcg.spad}
\author{Johannes Grabmeier, Alfred Scheerhorn}
diff --git a/src/algebra/fff.spad.pamphlet b/src/algebra/fff.spad.pamphlet
index d2cc0f7a..86694855 100644
--- a/src/algebra/fff.spad.pamphlet
+++ b/src/algebra/fff.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra fff.spad}
\author{Johannes Grabmeier, Alfred Scheerhorn}
diff --git a/src/algebra/ffhom.spad.pamphlet b/src/algebra/ffhom.spad.pamphlet
index 30e8302b..8006e13e 100644
--- a/src/algebra/ffhom.spad.pamphlet
+++ b/src/algebra/ffhom.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra ffhom.spad}
\author{Johannes Grabmeier, Alfred Scheerhorn}
diff --git a/src/algebra/ffnb.spad.pamphlet b/src/algebra/ffnb.spad.pamphlet
index 758e4d9a..fdf96d46 100644
--- a/src/algebra/ffnb.spad.pamphlet
+++ b/src/algebra/ffnb.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra ffnb.spad}
\author{Johannes Grabmeier, Alfred Scheerhorn}
diff --git a/src/algebra/ffp.spad.pamphlet b/src/algebra/ffp.spad.pamphlet
index 8455ad76..b6adc806 100644
--- a/src/algebra/ffp.spad.pamphlet
+++ b/src/algebra/ffp.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra ffp.spad}
\author{Johannes Grabmeier, Alfred Scheerhorn, Robert Sutor, Oswald Gschnitzer}
diff --git a/src/algebra/ffpoly.spad.pamphlet b/src/algebra/ffpoly.spad.pamphlet
index 5fd9cd38..db79d30e 100644
--- a/src/algebra/ffpoly.spad.pamphlet
+++ b/src/algebra/ffpoly.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra ffpoly.spad}
\author{Alexandre Bouyer, Johannes Grabmeier, Alfred Scheerhorn, Robert Sutor, Barry Trager}
diff --git a/src/algebra/ffpoly2.spad.pamphlet b/src/algebra/ffpoly2.spad.pamphlet
index 0c76a98c..2e2796c5 100644
--- a/src/algebra/ffpoly2.spad.pamphlet
+++ b/src/algebra/ffpoly2.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra ffpoly2.spad}
\author{Johannes Grabmeier, Alfred Scheerhorn}
diff --git a/src/algebra/ffrac.as.pamphlet b/src/algebra/ffrac.as.pamphlet
index 8eccc8a9..d038a101 100644
--- a/src/algebra/ffrac.as.pamphlet
+++ b/src/algebra/ffrac.as.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra ffrac.as}
\author{Michael Richardson}
diff --git a/src/algebra/ffx.spad.pamphlet b/src/algebra/ffx.spad.pamphlet
index 06546d6b..100c5213 100644
--- a/src/algebra/ffx.spad.pamphlet
+++ b/src/algebra/ffx.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra ffx.spad}
\author{Robert Sutor}
diff --git a/src/algebra/files.spad.pamphlet b/src/algebra/files.spad.pamphlet
index 18eb2a77..cb85893b 100644
--- a/src/algebra/files.spad.pamphlet
+++ b/src/algebra/files.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{src/algebra files.spad}
diff --git a/src/algebra/float.spad.pamphlet b/src/algebra/float.spad.pamphlet
index 2f666a93..1f0bc0bd 100644
--- a/src/algebra/float.spad.pamphlet
+++ b/src/algebra/float.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra float.spad}
\author{Michael Monagan}
diff --git a/src/algebra/fmod.spad.pamphlet b/src/algebra/fmod.spad.pamphlet
index 62b978fb..bcbbd597 100644
--- a/src/algebra/fmod.spad.pamphlet
+++ b/src/algebra/fmod.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra fmod.spad}
\author{The Axiom Team}
diff --git a/src/algebra/fname.spad.pamphlet b/src/algebra/fname.spad.pamphlet
index 22c7e45a..174a2eab 100644
--- a/src/algebra/fname.spad.pamphlet
+++ b/src/algebra/fname.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{src/algebra fname.spad}
diff --git a/src/algebra/fnla.spad.pamphlet b/src/algebra/fnla.spad.pamphlet
index 3be85585..0a99b15d 100644
--- a/src/algebra/fnla.spad.pamphlet
+++ b/src/algebra/fnla.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra fnla.spad}
\author{Larry Lambe}
diff --git a/src/algebra/formula.spad.pamphlet b/src/algebra/formula.spad.pamphlet
index a46bf05d..416cf9c7 100644
--- a/src/algebra/formula.spad.pamphlet
+++ b/src/algebra/formula.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra formula.spad}
\author{Robert S. Sutor}
diff --git a/src/algebra/fortcat.spad.pamphlet b/src/algebra/fortcat.spad.pamphlet
index 16daa51d..84c2fd5c 100644
--- a/src/algebra/fortcat.spad.pamphlet
+++ b/src/algebra/fortcat.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra fortcat.spad}
\author{Mike Dewar}
diff --git a/src/algebra/fortmac.spad.pamphlet b/src/algebra/fortmac.spad.pamphlet
index bc5d62b8..bbad8853 100644
--- a/src/algebra/fortmac.spad.pamphlet
+++ b/src/algebra/fortmac.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra fortmac.spad}
\author{Mike Dewar}
diff --git a/src/algebra/fortpak.spad.pamphlet b/src/algebra/fortpak.spad.pamphlet
index da7bd7f9..28d032de 100644
--- a/src/algebra/fortpak.spad.pamphlet
+++ b/src/algebra/fortpak.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra fortpak.spad}
\author{Grant Keady, Godfrey Nolan, Mike Dewar, Themos Tsikas}
diff --git a/src/algebra/fortran.spad.pamphlet b/src/algebra/fortran.spad.pamphlet
index a35ce6dd..ed5ef00b 100644
--- a/src/algebra/fortran.spad.pamphlet
+++ b/src/algebra/fortran.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{src/algebra fortran.spad}
\author{Didier Pinchon, Mike Dewar, William Naylor}
diff --git a/src/algebra/forttyp.spad.pamphlet b/src/algebra/forttyp.spad.pamphlet
index 99d1a1c6..6d1e1175 100644
--- a/src/algebra/forttyp.spad.pamphlet
+++ b/src/algebra/forttyp.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra forttyp.spad}
\author{Mike Dewar}
diff --git a/src/algebra/fourier.spad.pamphlet b/src/algebra/fourier.spad.pamphlet
index 798723c5..70d7ff85 100644
--- a/src/algebra/fourier.spad.pamphlet
+++ b/src/algebra/fourier.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra fourier.spad}
\author{James Davenport}
diff --git a/src/algebra/fparfrac.spad.pamphlet b/src/algebra/fparfrac.spad.pamphlet
index dee5330b..ed7bce9d 100644
--- a/src/algebra/fparfrac.spad.pamphlet
+++ b/src/algebra/fparfrac.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra fparfrac.spad}
\author{Manuel Bronstein}
diff --git a/src/algebra/fr.spad.pamphlet b/src/algebra/fr.spad.pamphlet
index 578054d4..de6755c7 100644
--- a/src/algebra/fr.spad.pamphlet
+++ b/src/algebra/fr.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra fr.spad}
\author{Robert S. Sutor, Johnannes Grabmeier}
diff --git a/src/algebra/fraction.spad.pamphlet b/src/algebra/fraction.spad.pamphlet
index 64f656e6..8d37bb4f 100644
--- a/src/algebra/fraction.spad.pamphlet
+++ b/src/algebra/fraction.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra fraction.spad}
\author{Dave Barton, Barry Trager, James Davenport}
diff --git a/src/algebra/free.spad.pamphlet b/src/algebra/free.spad.pamphlet
index abfb0e65..827e8386 100644
--- a/src/algebra/free.spad.pamphlet
+++ b/src/algebra/free.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra free.spad}
\author{Manuel Bronstein, Stephen M. Watt}
diff --git a/src/algebra/fs2expxp.spad.pamphlet b/src/algebra/fs2expxp.spad.pamphlet
index 3678639c..15fa5661 100644
--- a/src/algebra/fs2expxp.spad.pamphlet
+++ b/src/algebra/fs2expxp.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra fs2expxp.spad}
\author{Clifton J. Williamson}
diff --git a/src/algebra/fs2ups.spad.pamphlet b/src/algebra/fs2ups.spad.pamphlet
index 280666f1..5189d4d2 100644
--- a/src/algebra/fs2ups.spad.pamphlet
+++ b/src/algebra/fs2ups.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra fs2ups.spad}
\author{Clifton J. Williamson}
diff --git a/src/algebra/fspace.spad.pamphlet b/src/algebra/fspace.spad.pamphlet
index 281ee846..30c6fccd 100644
--- a/src/algebra/fspace.spad.pamphlet
+++ b/src/algebra/fspace.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra fspace.spad}
\author{Manuel Bronstein}
diff --git a/src/algebra/funcpkgs.spad.pamphlet b/src/algebra/funcpkgs.spad.pamphlet
index 9b852d35..b3956fa8 100644
--- a/src/algebra/funcpkgs.spad.pamphlet
+++ b/src/algebra/funcpkgs.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra funcpkgs.spad}
\author{Manuel Bronstein}
diff --git a/src/algebra/functions.spad.pamphlet b/src/algebra/functions.spad.pamphlet
index f48391f2..63b0e5ea 100644
--- a/src/algebra/functions.spad.pamphlet
+++ b/src/algebra/functions.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra functions.spad}
\author{Brian Dupee}
diff --git a/src/algebra/galfact.spad.pamphlet b/src/algebra/galfact.spad.pamphlet
index 92ad2d65..e596fc3a 100644
--- a/src/algebra/galfact.spad.pamphlet
+++ b/src/algebra/galfact.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra galfact.spad}
\author{Frederic Lehobey}
diff --git a/src/algebra/galfactu.spad.pamphlet b/src/algebra/galfactu.spad.pamphlet
index f7dacfe9..672e5444 100644
--- a/src/algebra/galfactu.spad.pamphlet
+++ b/src/algebra/galfactu.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra galfactu.spad}
\author{Frederic Lehobey}
diff --git a/src/algebra/galpolyu.spad.pamphlet b/src/algebra/galpolyu.spad.pamphlet
index 7e870fb0..c089ce37 100644
--- a/src/algebra/galpolyu.spad.pamphlet
+++ b/src/algebra/galpolyu.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra galpolyu.spad}
\author{Frederic Lehobey}
diff --git a/src/algebra/galutil.spad.pamphlet b/src/algebra/galutil.spad.pamphlet
index fd126dbe..cbe20360 100644
--- a/src/algebra/galutil.spad.pamphlet
+++ b/src/algebra/galutil.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra galutil.spad}
\author{Frederic Lehobey}
diff --git a/src/algebra/gaussfac.spad.pamphlet b/src/algebra/gaussfac.spad.pamphlet
index 25c6a2ab..8f922d92 100644
--- a/src/algebra/gaussfac.spad.pamphlet
+++ b/src/algebra/gaussfac.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra gaussfac.spad}
\author{Patrizia Gianni}
diff --git a/src/algebra/gaussian.spad.pamphlet b/src/algebra/gaussian.spad.pamphlet
index 721e3b31..49035681 100644
--- a/src/algebra/gaussian.spad.pamphlet
+++ b/src/algebra/gaussian.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra gaussian.spad}
\author{Barry Trager, James Davenport}
diff --git a/src/algebra/gb.spad.pamphlet b/src/algebra/gb.spad.pamphlet
index 895480fd..42235303 100644
--- a/src/algebra/gb.spad.pamphlet
+++ b/src/algebra/gb.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra gb.spad}
\author{Rudiger Gebauer, Barry Trager}
diff --git a/src/algebra/gbeuclid.spad.pamphlet b/src/algebra/gbeuclid.spad.pamphlet
index 47857e87..95e7bb51 100644
--- a/src/algebra/gbeuclid.spad.pamphlet
+++ b/src/algebra/gbeuclid.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra gbeuclid.spad}
\author{Rudiger Gebauer, Michael Moeller}
diff --git a/src/algebra/gbintern.spad.pamphlet b/src/algebra/gbintern.spad.pamphlet
index 830c34ea..a150f100 100644
--- a/src/algebra/gbintern.spad.pamphlet
+++ b/src/algebra/gbintern.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra gbintern.spad}
\author{The Axiom Team}
diff --git a/src/algebra/gdirprod.spad.pamphlet b/src/algebra/gdirprod.spad.pamphlet
index f0041f84..b87669cd 100644
--- a/src/algebra/gdirprod.spad.pamphlet
+++ b/src/algebra/gdirprod.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra gdirprod.spad}
\author{Barry Trager}
diff --git a/src/algebra/gdpoly.spad.pamphlet b/src/algebra/gdpoly.spad.pamphlet
index c2a4f4da..59004a5b 100644
--- a/src/algebra/gdpoly.spad.pamphlet
+++ b/src/algebra/gdpoly.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra gdpoly.spad}
\author{Barry Trager}
diff --git a/src/algebra/geneez.spad.pamphlet b/src/algebra/geneez.spad.pamphlet
index 5568763b..453ae3bd 100644
--- a/src/algebra/geneez.spad.pamphlet
+++ b/src/algebra/geneez.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra geneez.spad}
\author{Patrizia Gianni}
diff --git a/src/algebra/generic.spad.pamphlet b/src/algebra/generic.spad.pamphlet
index 01c7e3fc..7bfc0c49 100644
--- a/src/algebra/generic.spad.pamphlet
+++ b/src/algebra/generic.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra generic.spad}
\author{Johannes Grabmeier, Robert Wisbauer}
diff --git a/src/algebra/genufact.spad.pamphlet b/src/algebra/genufact.spad.pamphlet
index 94ae4328..2707ceaa 100644
--- a/src/algebra/genufact.spad.pamphlet
+++ b/src/algebra/genufact.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra genufact.spad}
\author{The Axiom Team}
diff --git a/src/algebra/genups.spad.pamphlet b/src/algebra/genups.spad.pamphlet
index 96d45342..bf01f74b 100644
--- a/src/algebra/genups.spad.pamphlet
+++ b/src/algebra/genups.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra genups.spad}
\author{Clifton J. Williamson}
diff --git a/src/algebra/ghensel.spad.pamphlet b/src/algebra/ghensel.spad.pamphlet
index cf8ddb42..b5a1c513 100644
--- a/src/algebra/ghensel.spad.pamphlet
+++ b/src/algebra/ghensel.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra ghensel.spad}
\author{Patrizia Gianni}
diff --git a/src/algebra/gpgcd.spad.pamphlet b/src/algebra/gpgcd.spad.pamphlet
index 11ad1670..c247b8cc 100644
--- a/src/algebra/gpgcd.spad.pamphlet
+++ b/src/algebra/gpgcd.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra gpgcd.spad}
\author{The Axiom Team}
diff --git a/src/algebra/gpol.spad.pamphlet b/src/algebra/gpol.spad.pamphlet
index 4ef5c712..16529fea 100644
--- a/src/algebra/gpol.spad.pamphlet
+++ b/src/algebra/gpol.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra gpol.spad}
\author{Manuel Bronstein}
diff --git a/src/algebra/grdef.spad.pamphlet b/src/algebra/grdef.spad.pamphlet
index bbb3d049..a979a70c 100644
--- a/src/algebra/grdef.spad.pamphlet
+++ b/src/algebra/grdef.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra grdef.spad}
\author{Clifton J. Williamson}
diff --git a/src/algebra/groebf.spad.pamphlet b/src/algebra/groebf.spad.pamphlet
index fe1a43e4..f4b7c397 100644
--- a/src/algebra/groebf.spad.pamphlet
+++ b/src/algebra/groebf.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra groebf.spad}
\author{H. Michael Moeller, Johannes Grabmeier}
diff --git a/src/algebra/groebsol.spad.pamphlet b/src/algebra/groebsol.spad.pamphlet
index 33ebeff5..2fb8161e 100644
--- a/src/algebra/groebsol.spad.pamphlet
+++ b/src/algebra/groebsol.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra groebsol.spad}
\author{Patrizia Gianni}
diff --git a/src/algebra/gseries.spad.pamphlet b/src/algebra/gseries.spad.pamphlet
index cc152a3a..d6ea733c 100644
--- a/src/algebra/gseries.spad.pamphlet
+++ b/src/algebra/gseries.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra gseries.spad}
\author{Clifton J. Williamson}
diff --git a/src/algebra/herm.as.pamphlet b/src/algebra/herm.as.pamphlet
index 81915bae..fb44b00f 100644
--- a/src/algebra/herm.as.pamphlet
+++ b/src/algebra/herm.as.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra herm.as}
\author{Michael Richardson}
diff --git a/src/algebra/ideal.spad.pamphlet b/src/algebra/ideal.spad.pamphlet
index 565beacc..311be81b 100644
--- a/src/algebra/ideal.spad.pamphlet
+++ b/src/algebra/ideal.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra ideal.spad}
\author{Patrizia Gianni}
diff --git a/src/algebra/idecomp.spad.pamphlet b/src/algebra/idecomp.spad.pamphlet
index acc47a5f..cec341b3 100644
--- a/src/algebra/idecomp.spad.pamphlet
+++ b/src/algebra/idecomp.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra idecomp.spad}
\author{Patrizia Gianni}
diff --git a/src/algebra/indexedp.spad.pamphlet b/src/algebra/indexedp.spad.pamphlet
index d5c7eade..4e6dea37 100644
--- a/src/algebra/indexedp.spad.pamphlet
+++ b/src/algebra/indexedp.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra indexedp.spad}
\author{James Davenport}
diff --git a/src/algebra/infprod.spad.pamphlet b/src/algebra/infprod.spad.pamphlet
index ac34c2ea..20697d85 100644
--- a/src/algebra/infprod.spad.pamphlet
+++ b/src/algebra/infprod.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra infprod.spad}
\author{Clifton J. Williamson}
diff --git a/src/algebra/intaf.spad.pamphlet b/src/algebra/intaf.spad.pamphlet
index 26ba8ad4..7793b724 100644
--- a/src/algebra/intaf.spad.pamphlet
+++ b/src/algebra/intaf.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra intaf.spad}
\author{Manuel Bronstein}
diff --git a/src/algebra/intalg.spad.pamphlet b/src/algebra/intalg.spad.pamphlet
index 22c18476..e3101aaa 100644
--- a/src/algebra/intalg.spad.pamphlet
+++ b/src/algebra/intalg.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra intalg.spad}
\author{Manuel Bronstein}
diff --git a/src/algebra/intaux.spad.pamphlet b/src/algebra/intaux.spad.pamphlet
index 2025a954..875fbcb8 100644
--- a/src/algebra/intaux.spad.pamphlet
+++ b/src/algebra/intaux.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra intaux.spad}
\author{Barry Trager, Manuel Bronstein}
diff --git a/src/algebra/intclos.spad.pamphlet b/src/algebra/intclos.spad.pamphlet
index b8190fc9..5b8cd22b 100644
--- a/src/algebra/intclos.spad.pamphlet
+++ b/src/algebra/intclos.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra intclos.spad}
\author{Victor Miller, Barry Trager, Clifton Williamson}
diff --git a/src/algebra/intef.spad.pamphlet b/src/algebra/intef.spad.pamphlet
index 1adbcdf3..cfda3fdc 100644
--- a/src/algebra/intef.spad.pamphlet
+++ b/src/algebra/intef.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra intef.spad}
\author{Manuel Bronstein}
diff --git a/src/algebra/integer.spad.pamphlet b/src/algebra/integer.spad.pamphlet
index a1dd4478..a9a869af 100644
--- a/src/algebra/integer.spad.pamphlet
+++ b/src/algebra/integer.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra integer.spad}
\author{James Davenport}
diff --git a/src/algebra/integrat.spad.pamphlet b/src/algebra/integrat.spad.pamphlet
index e09eb80d..529625c4 100644
--- a/src/algebra/integrat.spad.pamphlet
+++ b/src/algebra/integrat.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra integrat.spad}
\author{Manuel Bronstein}
diff --git a/src/algebra/interval.as.pamphlet b/src/algebra/interval.as.pamphlet
index 5ef14120..123f1d97 100644
--- a/src/algebra/interval.as.pamphlet
+++ b/src/algebra/interval.as.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra interval.as}
\author{Mike Dewar}
diff --git a/src/algebra/interval.spad.pamphlet b/src/algebra/interval.spad.pamphlet
index db070f59..3bd79aad 100644
--- a/src/algebra/interval.spad.pamphlet
+++ b/src/algebra/interval.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra interval.spad}
\author{Mike Dewar}
diff --git a/src/algebra/intfact.spad.pamphlet b/src/algebra/intfact.spad.pamphlet
index f12bf58f..00c54b24 100644
--- a/src/algebra/intfact.spad.pamphlet
+++ b/src/algebra/intfact.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra intfact.spad}
\author{Michael Monagan}
diff --git a/src/algebra/intpm.spad.pamphlet b/src/algebra/intpm.spad.pamphlet
index 1c3bdad3..de9c8b35 100644
--- a/src/algebra/intpm.spad.pamphlet
+++ b/src/algebra/intpm.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra intpm.spad}
\author{Manuel Bronstein}
diff --git a/src/algebra/intrf.spad.pamphlet b/src/algebra/intrf.spad.pamphlet
index 030fc34c..5e25fd50 100644
--- a/src/algebra/intrf.spad.pamphlet
+++ b/src/algebra/intrf.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra intrf.spad}
\author{Barry Trager, Renaud Rioboo, Manuel Bronstein}
diff --git a/src/algebra/invnode.as.pamphlet b/src/algebra/invnode.as.pamphlet
index d0517539..3d0958c2 100644
--- a/src/algebra/invnode.as.pamphlet
+++ b/src/algebra/invnode.as.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra invnode.as}
\author{The Axiom Team}
diff --git a/src/algebra/invrender.as.pamphlet b/src/algebra/invrender.as.pamphlet
index a107b9b1..924d1a39 100644
--- a/src/algebra/invrender.as.pamphlet
+++ b/src/algebra/invrender.as.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra invrender.as}
\author{The Axiom Team}
diff --git a/src/algebra/invtypes.as.pamphlet b/src/algebra/invtypes.as.pamphlet
index 5ada870a..002a544d 100644
--- a/src/algebra/invtypes.as.pamphlet
+++ b/src/algebra/invtypes.as.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra invtypes.as}
\author{The Axiom Team}
diff --git a/src/algebra/invutils.as.pamphlet b/src/algebra/invutils.as.pamphlet
index e3751336..c20261da 100644
--- a/src/algebra/invutils.as.pamphlet
+++ b/src/algebra/invutils.as.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra invutils.as}
\author{The Axiom Team}
diff --git a/src/algebra/irexpand.spad.pamphlet b/src/algebra/irexpand.spad.pamphlet
index e2d1daac..6e819c13 100644
--- a/src/algebra/irexpand.spad.pamphlet
+++ b/src/algebra/irexpand.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra irexpand.spad}
\author{Manuel Bronstein}
diff --git a/src/algebra/irsn.spad.pamphlet b/src/algebra/irsn.spad.pamphlet
index 369e7fc8..4cde0675 100644
--- a/src/algebra/irsn.spad.pamphlet
+++ b/src/algebra/irsn.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra irsn.spad}
\author{Johannes Grabmeier, Thorsten Werther}
diff --git a/src/algebra/ituple.spad.pamphlet b/src/algebra/ituple.spad.pamphlet
index 190ae035..2babee58 100644
--- a/src/algebra/ituple.spad.pamphlet
+++ b/src/algebra/ituple.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{src/algebra ituple.spad}
\author{Clifton J. Williamson}
diff --git a/src/algebra/iviews.as.pamphlet b/src/algebra/iviews.as.pamphlet
index 37a09af4..2937713e 100644
--- a/src/algebra/iviews.as.pamphlet
+++ b/src/algebra/iviews.as.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra iviews.as}
\author{The Axiom Team}
diff --git a/src/algebra/java.spad.pamphlet b/src/algebra/java.spad.pamphlet
index c5a6667b..fae7c311 100644
--- a/src/algebra/java.spad.pamphlet
+++ b/src/algebra/java.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\author{Gabriel Dos~Reis}
diff --git a/src/algebra/kl.spad.pamphlet b/src/algebra/kl.spad.pamphlet
index a97fdd7a..bcd07b86 100644
--- a/src/algebra/kl.spad.pamphlet
+++ b/src/algebra/kl.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra kl.spad}
\author{Manuel Bronstein}
diff --git a/src/algebra/kovacic.spad.pamphlet b/src/algebra/kovacic.spad.pamphlet
index 9a330d2d..193ca1d6 100644
--- a/src/algebra/kovacic.spad.pamphlet
+++ b/src/algebra/kovacic.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra kovacic.spad}
\author{Manuel Bronstein}
diff --git a/src/algebra/laplace.spad.pamphlet b/src/algebra/laplace.spad.pamphlet
index 05d97079..e961658a 100644
--- a/src/algebra/laplace.spad.pamphlet
+++ b/src/algebra/laplace.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra laplace.spad}
\author{Manuel Bronstein, Barry Trager}
diff --git a/src/algebra/laurent.spad.pamphlet b/src/algebra/laurent.spad.pamphlet
index 51cafff1..a8f9337b 100644
--- a/src/algebra/laurent.spad.pamphlet
+++ b/src/algebra/laurent.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra laurent.spad}
\author{Clifton J. Williamson, Bill Burge}
diff --git a/src/algebra/leadcdet.spad.pamphlet b/src/algebra/leadcdet.spad.pamphlet
index 21a1048f..47ac9d85 100644
--- a/src/algebra/leadcdet.spad.pamphlet
+++ b/src/algebra/leadcdet.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra leadcdet.spad}
\author{Patrizia Gianni}
diff --git a/src/algebra/lie.spad.pamphlet b/src/algebra/lie.spad.pamphlet
index c5822d71..3d78a057 100644
--- a/src/algebra/lie.spad.pamphlet
+++ b/src/algebra/lie.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra lie.spad}
\author{Johannes Grabmeier}
diff --git a/src/algebra/limitps.spad.pamphlet b/src/algebra/limitps.spad.pamphlet
index 102a7e3e..280960db 100644
--- a/src/algebra/limitps.spad.pamphlet
+++ b/src/algebra/limitps.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra limitps.spad}
\author{Clifton J. Williamson, Manuel Bronstein}
diff --git a/src/algebra/lindep.spad.pamphlet b/src/algebra/lindep.spad.pamphlet
index f8028421..64c06067 100644
--- a/src/algebra/lindep.spad.pamphlet
+++ b/src/algebra/lindep.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra lindep.spad}
\author{Manuel Bronstein}
diff --git a/src/algebra/lingrob.spad.pamphlet b/src/algebra/lingrob.spad.pamphlet
index 1ac325df..2cb3aca7 100644
--- a/src/algebra/lingrob.spad.pamphlet
+++ b/src/algebra/lingrob.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra lingrob.spad}
\author{The Axiom Team}
diff --git a/src/algebra/liouv.spad.pamphlet b/src/algebra/liouv.spad.pamphlet
index efd960e3..730e7002 100644
--- a/src/algebra/liouv.spad.pamphlet
+++ b/src/algebra/liouv.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra liouv.spad}
\author{Manuel Bronstein}
diff --git a/src/algebra/list.spad.pamphlet b/src/algebra/list.spad.pamphlet
index cc945bf8..f3dbef0c 100644
--- a/src/algebra/list.spad.pamphlet
+++ b/src/algebra/list.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{src/algebra list.spad}
\author{Michael Monagon, Manuel Bronstein}
diff --git a/src/algebra/listgcd.spad.pamphlet b/src/algebra/listgcd.spad.pamphlet
index a654bf61..7640aa21 100644
--- a/src/algebra/listgcd.spad.pamphlet
+++ b/src/algebra/listgcd.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra listgcd.spad}
\author{Patrizia Gianni}
diff --git a/src/algebra/lmdict.spad.pamphlet b/src/algebra/lmdict.spad.pamphlet
index edadf2f2..deede84c 100644
--- a/src/algebra/lmdict.spad.pamphlet
+++ b/src/algebra/lmdict.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra lmdict.spad}
\author{Michael Monagan, Frederic Lehobey}
diff --git a/src/algebra/lodo.spad.pamphlet b/src/algebra/lodo.spad.pamphlet
index c5bdff2f..ae8e6651 100644
--- a/src/algebra/lodo.spad.pamphlet
+++ b/src/algebra/lodo.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra lodo.spad}
\author{Manuel Bronstein, Stephen M. Watt}
diff --git a/src/algebra/lodof.spad.pamphlet b/src/algebra/lodof.spad.pamphlet
index 50e98b91..8d3b8b38 100644
--- a/src/algebra/lodof.spad.pamphlet
+++ b/src/algebra/lodof.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra lodof.spad}
\author{Manuel Bronstein, Fritz Schwarz}
diff --git a/src/algebra/lodop.spad.pamphlet b/src/algebra/lodop.spad.pamphlet
index 6f23a155..3ebad1d2 100644
--- a/src/algebra/lodop.spad.pamphlet
+++ b/src/algebra/lodop.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra lodop.spad}
\author{Stephen M. Watt, Jean Della Dora}
diff --git a/src/algebra/manip.spad.pamphlet b/src/algebra/manip.spad.pamphlet
index b41674da..dc0adfef 100644
--- a/src/algebra/manip.spad.pamphlet
+++ b/src/algebra/manip.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra manip.spad}
\author{Manuel Bronstein, Robert Sutor}
diff --git a/src/algebra/mappkg.spad.pamphlet b/src/algebra/mappkg.spad.pamphlet
index 17f1dab3..18814966 100644
--- a/src/algebra/mappkg.spad.pamphlet
+++ b/src/algebra/mappkg.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra mappkg.spad}
\author{Stephen M. Watt, William Burge}
diff --git a/src/algebra/matcat.spad.pamphlet b/src/algebra/matcat.spad.pamphlet
index 4b53af07..d84feb2b 100644
--- a/src/algebra/matcat.spad.pamphlet
+++ b/src/algebra/matcat.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra matcat.spad}
\author{Johannes Grabmeier, Oswald Gschnitzer, Clifton J. Williamson}
diff --git a/src/algebra/matfuns.spad.pamphlet b/src/algebra/matfuns.spad.pamphlet
index b191d8ff..f8768acb 100644
--- a/src/algebra/matfuns.spad.pamphlet
+++ b/src/algebra/matfuns.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra matfuns.spad}
\author{Clifton J. Williamson, Patrizia Gianni}
diff --git a/src/algebra/mathml.spad.pamphlet b/src/algebra/mathml.spad.pamphlet
index cde994f9..c00c55a9 100644
--- a/src/algebra/mathml.spad.pamphlet
+++ b/src/algebra/mathml.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra mathml.spad}
\author{Arthur C. Ralfs}
diff --git a/src/algebra/matrix.spad.pamphlet b/src/algebra/matrix.spad.pamphlet
index a40de7a0..2dbe4cc8 100644
--- a/src/algebra/matrix.spad.pamphlet
+++ b/src/algebra/matrix.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra matrix.spad}
\author{Johannes Grabmeier, Oswald Gschnitzer, Clifton J. Williamson}
diff --git a/src/algebra/matstor.spad.pamphlet b/src/algebra/matstor.spad.pamphlet
index 59ac489e..927fb72c 100644
--- a/src/algebra/matstor.spad.pamphlet
+++ b/src/algebra/matstor.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra matstor.spad}
\author{Clifton J. Williamson}
diff --git a/src/algebra/mesh.spad.pamphlet b/src/algebra/mesh.spad.pamphlet
index 8cc1c8e0..50314116 100644
--- a/src/algebra/mesh.spad.pamphlet
+++ b/src/algebra/mesh.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra mesh.spad}
\author{James Wen, Jon Steinbach}
diff --git a/src/algebra/mfinfact.spad.pamphlet b/src/algebra/mfinfact.spad.pamphlet
index 5bf284ef..5292b222 100644
--- a/src/algebra/mfinfact.spad.pamphlet
+++ b/src/algebra/mfinfact.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra mfinfact.spad}
\author{Patrizia Gianni}
diff --git a/src/algebra/misc.spad.pamphlet b/src/algebra/misc.spad.pamphlet
index 6b2d907f..2b404e61 100644
--- a/src/algebra/misc.spad.pamphlet
+++ b/src/algebra/misc.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra misc.spad}
\author{The Axiom Team}
diff --git a/src/algebra/mkfunc.spad.pamphlet b/src/algebra/mkfunc.spad.pamphlet
index 30f219d6..1c3cfc04 100644
--- a/src/algebra/mkfunc.spad.pamphlet
+++ b/src/algebra/mkfunc.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\title{src/algebra mkfunc.spad}
\author{Manuel Bronstein}
diff --git a/src/algebra/mkrecord.spad.pamphlet b/src/algebra/mkrecord.spad.pamphlet
index ac6bf4b1..ea6e3795 100644
--- a/src/algebra/mkrecord.spad.pamphlet
+++ b/src/algebra/mkrecord.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{src/algebra mkrecord.spad}
\author{The Axiom Team}
diff --git a/src/algebra/mlift.spad.jhd.pamphlet b/src/algebra/mlift.spad.jhd.pamphlet
index ea1a70ed..ffd67f4b 100644
--- a/src/algebra/mlift.spad.jhd.pamphlet
+++ b/src/algebra/mlift.spad.jhd.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra mlift.spad.jhd}
\author{Patrizia Gianni}
diff --git a/src/algebra/mlift.spad.pamphlet b/src/algebra/mlift.spad.pamphlet
index 8ccdf72a..1b37e51d 100644
--- a/src/algebra/mlift.spad.pamphlet
+++ b/src/algebra/mlift.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra mlift.spad}
\author{Patrizia Gianni}
diff --git a/src/algebra/moddfact.spad.pamphlet b/src/algebra/moddfact.spad.pamphlet
index e402185f..20793c67 100644
--- a/src/algebra/moddfact.spad.pamphlet
+++ b/src/algebra/moddfact.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra moddfact.spad}
\author{Barry Trager, James Davenport}
diff --git a/src/algebra/modgcd.spad.pamphlet b/src/algebra/modgcd.spad.pamphlet
index 4edd4475..a30dd0cc 100644
--- a/src/algebra/modgcd.spad.pamphlet
+++ b/src/algebra/modgcd.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra modgcd.spad}
\author{James Davenport, Patrizia Gianni}
diff --git a/src/algebra/modmon.spad.pamphlet b/src/algebra/modmon.spad.pamphlet
index 3b678cd8..84c10d58 100644
--- a/src/algebra/modmon.spad.pamphlet
+++ b/src/algebra/modmon.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra modmon.spad}
\author{The Axiom Team}
diff --git a/src/algebra/modmonom.spad.pamphlet b/src/algebra/modmonom.spad.pamphlet
index 43117395..cbab61e7 100644
--- a/src/algebra/modmonom.spad.pamphlet
+++ b/src/algebra/modmonom.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra modmonom.spad}
\author{The Axiom Team}
diff --git a/src/algebra/modring.spad.pamphlet b/src/algebra/modring.spad.pamphlet
index d347318d..a7308223 100644
--- a/src/algebra/modring.spad.pamphlet
+++ b/src/algebra/modring.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra modring.spad}
\author{Patrizia Gianni, Barry Trager}
diff --git a/src/algebra/moebius.spad.pamphlet b/src/algebra/moebius.spad.pamphlet
index d0681a82..14e2e4d5 100644
--- a/src/algebra/moebius.spad.pamphlet
+++ b/src/algebra/moebius.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{src/algebra moebius.spad}
diff --git a/src/algebra/mring.spad.pamphlet b/src/algebra/mring.spad.pamphlet
index 679cdae4..46e50c7d 100644
--- a/src/algebra/mring.spad.pamphlet
+++ b/src/algebra/mring.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra mring.spad}
\author{Stephen M. Watt, Johannes Grabmeier, Mike Dewar}
diff --git a/src/algebra/mset.spad.pamphlet b/src/algebra/mset.spad.pamphlet
index 419c2bfd..22e633de 100644
--- a/src/algebra/mset.spad.pamphlet
+++ b/src/algebra/mset.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra mset.spad}
\author{Stephen M. Watt, William H. Burge, Richard D. Jenks, Frederic Lehobey}
diff --git a/src/algebra/mts.spad.pamphlet b/src/algebra/mts.spad.pamphlet
index 4d46aab7..00b1b68b 100644
--- a/src/algebra/mts.spad.pamphlet
+++ b/src/algebra/mts.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra mts.spad}
\author{William Burge, Stephen Watt, Clifton Williamson}
diff --git a/src/algebra/multfact.spad.pamphlet b/src/algebra/multfact.spad.pamphlet
index 8e5cf942..376da187 100644
--- a/src/algebra/multfact.spad.pamphlet
+++ b/src/algebra/multfact.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra multfact.spad}
\author{Patrizia Gianni}
diff --git a/src/algebra/multpoly.spad.pamphlet b/src/algebra/multpoly.spad.pamphlet
index f3f5f2a3..d7cb75c5 100644
--- a/src/algebra/multpoly.spad.pamphlet
+++ b/src/algebra/multpoly.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra multpoly.spad}
\author{Dave Barton, Barry Trager, James Davenport}
diff --git a/src/algebra/multsqfr.spad.pamphlet b/src/algebra/multsqfr.spad.pamphlet
index 292b6735..be6949f3 100644
--- a/src/algebra/multsqfr.spad.pamphlet
+++ b/src/algebra/multsqfr.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra multsqfr.spad}
\author{Patrizia Gianni}
diff --git a/src/algebra/naalg.spad.pamphlet b/src/algebra/naalg.spad.pamphlet
index 52a2e17b..0ea33bb8 100644
--- a/src/algebra/naalg.spad.pamphlet
+++ b/src/algebra/naalg.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra naalg.spad}
\author{Johannes Grabmeier, Robert Wisbauer}
diff --git a/src/algebra/naalgc.spad.pamphlet b/src/algebra/naalgc.spad.pamphlet
index 8992dcaa..3cee9c8a 100644
--- a/src/algebra/naalgc.spad.pamphlet
+++ b/src/algebra/naalgc.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra naalgc.spad}
\author{Johannes Grabmeier, Robert Wisbauer}
diff --git a/src/algebra/ndftip.as.pamphlet b/src/algebra/ndftip.as.pamphlet
index 3c9c0ea5..4c186a67 100644
--- a/src/algebra/ndftip.as.pamphlet
+++ b/src/algebra/ndftip.as.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra ndftip.as}
\author{Michael Richardson}
diff --git a/src/algebra/nepip.as.pamphlet b/src/algebra/nepip.as.pamphlet
index 4d361776..4bfb2b5a 100644
--- a/src/algebra/nepip.as.pamphlet
+++ b/src/algebra/nepip.as.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra nepip.as}
\author{Michael Richardson}
diff --git a/src/algebra/net.spad.pamphlet b/src/algebra/net.spad.pamphlet
index c1a3620a..6e9b3139 100644
--- a/src/algebra/net.spad.pamphlet
+++ b/src/algebra/net.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\author{Gabriel Dos~Reis}
diff --git a/src/algebra/newdata.spad.pamphlet b/src/algebra/newdata.spad.pamphlet
index aacaddb7..ca9783e8 100644
--- a/src/algebra/newdata.spad.pamphlet
+++ b/src/algebra/newdata.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra newdata.spad}
\author{Themos Tsikas, Marc Moreno Maza}
diff --git a/src/algebra/newpoint.spad.pamphlet b/src/algebra/newpoint.spad.pamphlet
index c742543d..f4b1d8bb 100644
--- a/src/algebra/newpoint.spad.pamphlet
+++ b/src/algebra/newpoint.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra newpoint.spad}
\author{The Axiom Team}
diff --git a/src/algebra/newpoly.spad.pamphlet b/src/algebra/newpoly.spad.pamphlet
index 8fee6315..23cd07b7 100644
--- a/src/algebra/newpoly.spad.pamphlet
+++ b/src/algebra/newpoly.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra newpoly.spad}
\author{Marc Moreno Maza}
diff --git a/src/algebra/nlinsol.spad.pamphlet b/src/algebra/nlinsol.spad.pamphlet
index 21147fb8..0806b888 100644
--- a/src/algebra/nlinsol.spad.pamphlet
+++ b/src/algebra/nlinsol.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra nlinsol.spad}
\author{Manuel Bronstein}
diff --git a/src/algebra/nlode.spad.pamphlet b/src/algebra/nlode.spad.pamphlet
index 8458fdd2..4e4a7c25 100644
--- a/src/algebra/nlode.spad.pamphlet
+++ b/src/algebra/nlode.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra nlode.spad}
\author{Manuel Bronstein}
diff --git a/src/algebra/noptip.as.pamphlet b/src/algebra/noptip.as.pamphlet
index 150087bb..10e20ce3 100644
--- a/src/algebra/noptip.as.pamphlet
+++ b/src/algebra/noptip.as.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra noptip.as}
\author{Michael Richardson}
diff --git a/src/algebra/npcoef.spad.pamphlet b/src/algebra/npcoef.spad.pamphlet
index 6607905c..7278870e 100644
--- a/src/algebra/npcoef.spad.pamphlet
+++ b/src/algebra/npcoef.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra npcoef.spad}
\author{Patrizia Gianni}
diff --git a/src/algebra/nqip.as.pamphlet b/src/algebra/nqip.as.pamphlet
index e3e8d968..a7092fd5 100644
--- a/src/algebra/nqip.as.pamphlet
+++ b/src/algebra/nqip.as.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra nqip.as}
\author{Michael Richardson}
diff --git a/src/algebra/nrc.as.pamphlet b/src/algebra/nrc.as.pamphlet
index d317958c..70dd6222 100644
--- a/src/algebra/nrc.as.pamphlet
+++ b/src/algebra/nrc.as.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra nrc.as}
\author{Michael Richardson}
diff --git a/src/algebra/nregset.spad.pamphlet b/src/algebra/nregset.spad.pamphlet
index 9405dfbd..b7b66371 100644
--- a/src/algebra/nregset.spad.pamphlet
+++ b/src/algebra/nregset.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra nregset.spad}
\author{Marc Moreno Maza}
diff --git a/src/algebra/nsfip.as.pamphlet b/src/algebra/nsfip.as.pamphlet
index d6bbba93..a0ceb8cd 100644
--- a/src/algebra/nsfip.as.pamphlet
+++ b/src/algebra/nsfip.as.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra nsfip.as}
\author{Michael Richardson}
diff --git a/src/algebra/nsregset.spad.pamphlet b/src/algebra/nsregset.spad.pamphlet
index 13d90b21..21052cc8 100644
--- a/src/algebra/nsregset.spad.pamphlet
+++ b/src/algebra/nsregset.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra nsregset.spad}
\author{Marc Moreno Maza}
diff --git a/src/algebra/numeigen.spad.pamphlet b/src/algebra/numeigen.spad.pamphlet
index 3f314958..a2e692f3 100644
--- a/src/algebra/numeigen.spad.pamphlet
+++ b/src/algebra/numeigen.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra numeigen.spad}
\author{Patrizia Gianni}
diff --git a/src/algebra/numeric.spad.pamphlet b/src/algebra/numeric.spad.pamphlet
index cb575e80..84f3bc7d 100644
--- a/src/algebra/numeric.spad.pamphlet
+++ b/src/algebra/numeric.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra numeric.spad}
\author{Manuel Bronstein, Mike Dewar}
diff --git a/src/algebra/numode.spad.pamphlet b/src/algebra/numode.spad.pamphlet
index 4de1cf27..e2cdf52f 100644
--- a/src/algebra/numode.spad.pamphlet
+++ b/src/algebra/numode.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra numode.spad}
\author{Yurij Baransky}
diff --git a/src/algebra/numquad.spad.pamphlet b/src/algebra/numquad.spad.pamphlet
index 79987429..82c82440 100644
--- a/src/algebra/numquad.spad.pamphlet
+++ b/src/algebra/numquad.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra numquad.spad}
\author{Yurij Baransky}
diff --git a/src/algebra/numsolve.spad.pamphlet b/src/algebra/numsolve.spad.pamphlet
index edb7898c..ae969619 100644
--- a/src/algebra/numsolve.spad.pamphlet
+++ b/src/algebra/numsolve.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra numsolve.spad}
\author{Patrizia Gianni}
diff --git a/src/algebra/numtheor.spad.pamphlet b/src/algebra/numtheor.spad.pamphlet
index 4bce04db..e3ed3b72 100644
--- a/src/algebra/numtheor.spad.pamphlet
+++ b/src/algebra/numtheor.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra numtheor.spad}
\author{Martin Brock, Timothy Daly, Michael Monagan, Robert Sutor,
diff --git a/src/algebra/oct.spad.pamphlet b/src/algebra/oct.spad.pamphlet
index 35805e37..c3314d86 100644
--- a/src/algebra/oct.spad.pamphlet
+++ b/src/algebra/oct.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra oct.spad}
\author{Robert Wisbauer, Johannes Grabmeier}
diff --git a/src/algebra/odealg.spad.pamphlet b/src/algebra/odealg.spad.pamphlet
index 03901c7c..653dece6 100644
--- a/src/algebra/odealg.spad.pamphlet
+++ b/src/algebra/odealg.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra odealg.spad}
\author{Manuel Bronstein}
diff --git a/src/algebra/odeef.spad.pamphlet b/src/algebra/odeef.spad.pamphlet
index 37f26e8e..534a2b7d 100644
--- a/src/algebra/odeef.spad.pamphlet
+++ b/src/algebra/odeef.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra odeef.spad}
\author{Manuel Bronstein}
diff --git a/src/algebra/oderf.spad.pamphlet b/src/algebra/oderf.spad.pamphlet
index 140c41a8..87288645 100644
--- a/src/algebra/oderf.spad.pamphlet
+++ b/src/algebra/oderf.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra oderf.spad}
\author{Manuel Bronstein}
diff --git a/src/algebra/omcat.spad.pamphlet b/src/algebra/omcat.spad.pamphlet
index 824bf1b2..638aa325 100644
--- a/src/algebra/omcat.spad.pamphlet
+++ b/src/algebra/omcat.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra omcat.spad}
\author{Mike Dewar, Vilya Harvey}
diff --git a/src/algebra/omdev.spad.pamphlet b/src/algebra/omdev.spad.pamphlet
index ea5dd518..d2897a37 100644
--- a/src/algebra/omdev.spad.pamphlet
+++ b/src/algebra/omdev.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra omdev.spad}
\author{Vilya Harvey}
diff --git a/src/algebra/omerror.spad.pamphlet b/src/algebra/omerror.spad.pamphlet
index 444dcfce..50843010 100644
--- a/src/algebra/omerror.spad.pamphlet
+++ b/src/algebra/omerror.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra omerror.spad}
\author{Vilya Harvey}
diff --git a/src/algebra/omserver.spad.pamphlet b/src/algebra/omserver.spad.pamphlet
index a6872f1f..6d42d430 100644
--- a/src/algebra/omserver.spad.pamphlet
+++ b/src/algebra/omserver.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra omserver.spad}
\author{Vilya Harvey}
diff --git a/src/algebra/op.spad.pamphlet b/src/algebra/op.spad.pamphlet
index dc738dbe..50978c07 100644
--- a/src/algebra/op.spad.pamphlet
+++ b/src/algebra/op.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra op.spad}
\author{Manuel Bronstein \and Gabriel Dos~Reis}
diff --git a/src/algebra/opalg.spad.pamphlet b/src/algebra/opalg.spad.pamphlet
index 6404a137..d710a5aa 100644
--- a/src/algebra/opalg.spad.pamphlet
+++ b/src/algebra/opalg.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra opalg.spad}
\author{Manuel Bronstein}
diff --git a/src/algebra/openmath.spad.pamphlet b/src/algebra/openmath.spad.pamphlet
index 1ebbb4fc..932e0fb9 100644
--- a/src/algebra/openmath.spad.pamphlet
+++ b/src/algebra/openmath.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra openmath.spad}
\author{Mike Dewar, Vilya Harvey}
diff --git a/src/algebra/ore.spad.pamphlet b/src/algebra/ore.spad.pamphlet
index e026440c..4542935d 100644
--- a/src/algebra/ore.spad.pamphlet
+++ b/src/algebra/ore.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra ore.spad}
\author{Manuel Bronstein, Jean Della Dora, Stephen M. Watt}
diff --git a/src/algebra/out.spad.pamphlet b/src/algebra/out.spad.pamphlet
index 72172044..68f235d5 100644
--- a/src/algebra/out.spad.pamphlet
+++ b/src/algebra/out.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra out.spad}
\author{Stephen M. Watt, Robert S. Sutor}
diff --git a/src/algebra/outform.spad.pamphlet b/src/algebra/outform.spad.pamphlet
index a945b424..8ad69b52 100644
--- a/src/algebra/outform.spad.pamphlet
+++ b/src/algebra/outform.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra outform.spad}
\author{Stephen M. Watt}
diff --git a/src/algebra/pade.spad.pamphlet b/src/algebra/pade.spad.pamphlet
index 475212ef..a18909ea 100644
--- a/src/algebra/pade.spad.pamphlet
+++ b/src/algebra/pade.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra pade.spad}
\author{Barry Trager, William Burge, Martin Hassner,Stephen M. Watt}
diff --git a/src/algebra/padic.spad.pamphlet b/src/algebra/padic.spad.pamphlet
index 49de0bcf..61e5ca9a 100644
--- a/src/algebra/padic.spad.pamphlet
+++ b/src/algebra/padic.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra padic.spad}
\author{Clifton J. Williamson}
diff --git a/src/algebra/padiclib.spad.pamphlet b/src/algebra/padiclib.spad.pamphlet
index b32e096d..02e4555c 100644
--- a/src/algebra/padiclib.spad.pamphlet
+++ b/src/algebra/padiclib.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra padiclib.spad}
\author{Clifton J. Williamson}
diff --git a/src/algebra/paramete.spad.pamphlet b/src/algebra/paramete.spad.pamphlet
index 8cf1a256..5d1fc7f0 100644
--- a/src/algebra/paramete.spad.pamphlet
+++ b/src/algebra/paramete.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra paramete.spad}
\author{Clifton J. Williamson}
diff --git a/src/algebra/partperm.spad.pamphlet b/src/algebra/partperm.spad.pamphlet
index cbe68098..b657fa3a 100644
--- a/src/algebra/partperm.spad.pamphlet
+++ b/src/algebra/partperm.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra partperm.spad}
\author{William Burge}
diff --git a/src/algebra/patmatch1.spad.pamphlet b/src/algebra/patmatch1.spad.pamphlet
index dab2f818..00a62631 100644
--- a/src/algebra/patmatch1.spad.pamphlet
+++ b/src/algebra/patmatch1.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra patmatch1.spad}
\author{Manuel Bronstein}
diff --git a/src/algebra/patmatch2.spad.pamphlet b/src/algebra/patmatch2.spad.pamphlet
index 11063aad..a06eb187 100644
--- a/src/algebra/patmatch2.spad.pamphlet
+++ b/src/algebra/patmatch2.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra patmatch2.spad}
\author{Manuel Bronstein}
diff --git a/src/algebra/pattern.spad.pamphlet b/src/algebra/pattern.spad.pamphlet
index 679af677..ec7878f4 100644
--- a/src/algebra/pattern.spad.pamphlet
+++ b/src/algebra/pattern.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra pattern.spad}
\author{Manuel Bronstein}
diff --git a/src/algebra/pcurve.spad.pamphlet b/src/algebra/pcurve.spad.pamphlet
index 9fa07574..244f9e3c 100644
--- a/src/algebra/pcurve.spad.pamphlet
+++ b/src/algebra/pcurve.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra pcurve.spad}
\author{Clifton J. Williamson}
diff --git a/src/algebra/pdecomp.spad.pamphlet b/src/algebra/pdecomp.spad.pamphlet
index 8f60ecd0..1e6f1829 100644
--- a/src/algebra/pdecomp.spad.pamphlet
+++ b/src/algebra/pdecomp.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra pdecomp.spad}
\author{The Axiom Team}
diff --git a/src/algebra/perm.spad.pamphlet b/src/algebra/perm.spad.pamphlet
index 57845b95..51048658 100644
--- a/src/algebra/perm.spad.pamphlet
+++ b/src/algebra/perm.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra perm.spad}
\author{Holger Gollan, Johannes Grabmeier, Gerhard Schneider}
diff --git a/src/algebra/perman.spad.pamphlet b/src/algebra/perman.spad.pamphlet
index f22aedd1..49519edb 100644
--- a/src/algebra/perman.spad.pamphlet
+++ b/src/algebra/perman.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra perman.spad}
\author{Johannes Grabmeier, Oswald Gschnitzer}
diff --git a/src/algebra/permgrps.spad.pamphlet b/src/algebra/permgrps.spad.pamphlet
index 6302f5aa..2496394d 100644
--- a/src/algebra/permgrps.spad.pamphlet
+++ b/src/algebra/permgrps.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra permgrps.spad}
\author{Gerhard Schneider, Holger Gollan, Johannes Grabmeier, M. Weller}
diff --git a/src/algebra/pf.spad.pamphlet b/src/algebra/pf.spad.pamphlet
index ba8f657b..6ab0f69f 100644
--- a/src/algebra/pf.spad.pamphlet
+++ b/src/algebra/pf.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra pf.spad}
\author{N.N., Johannes Grabmeier, Alfred Scheerhorn}
diff --git a/src/algebra/pfbr.spad.pamphlet b/src/algebra/pfbr.spad.pamphlet
index b8637020..85943f84 100644
--- a/src/algebra/pfbr.spad.pamphlet
+++ b/src/algebra/pfbr.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra pfbr.spad}
\author{The Axiom Team}
diff --git a/src/algebra/pfo.spad.pamphlet b/src/algebra/pfo.spad.pamphlet
index bff9d13d..63d721fb 100644
--- a/src/algebra/pfo.spad.pamphlet
+++ b/src/algebra/pfo.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra pfo.spad}
\author{Manuel Bronstein}
diff --git a/src/algebra/pfr.spad.pamphlet b/src/algebra/pfr.spad.pamphlet
index 21f36929..4f0e97cb 100644
--- a/src/algebra/pfr.spad.pamphlet
+++ b/src/algebra/pfr.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra pfr.spad}
\author{Robert Sutor, Barry Trager}
diff --git a/src/algebra/pgcd.spad.pamphlet b/src/algebra/pgcd.spad.pamphlet
index 365b0232..edbbccb0 100644
--- a/src/algebra/pgcd.spad.pamphlet
+++ b/src/algebra/pgcd.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra pgcd.spad}
\author{Michael Lucks, Patrizia Gianni, Barry Trager, Frederic Lehobey}
diff --git a/src/algebra/pgrobner.spad.pamphlet b/src/algebra/pgrobner.spad.pamphlet
index c90a46df..01f6a994 100644
--- a/src/algebra/pgrobner.spad.pamphlet
+++ b/src/algebra/pgrobner.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra pgrobner.spad}
\author{Patrizia Gianni}
diff --git a/src/algebra/pinterp.spad.pamphlet b/src/algebra/pinterp.spad.pamphlet
index 0d3c9a04..682f4e39 100644
--- a/src/algebra/pinterp.spad.pamphlet
+++ b/src/algebra/pinterp.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra pinterp.spad}
\author{The Axiom Team}
diff --git a/src/algebra/pleqn.spad.pamphlet b/src/algebra/pleqn.spad.pamphlet
index 96e29d30..e3090a74 100644
--- a/src/algebra/pleqn.spad.pamphlet
+++ b/src/algebra/pleqn.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra pleqn.spad}
\author{William Sit}
diff --git a/src/algebra/plot.spad.pamphlet b/src/algebra/plot.spad.pamphlet
index 146c4726..16ff14e9 100644
--- a/src/algebra/plot.spad.pamphlet
+++ b/src/algebra/plot.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra plot.spad}
\author{Michael Monagan, Clifton J. Williamson, Jon Steinbach, Manuel Bronstein}
diff --git a/src/algebra/plot3d.spad.pamphlet b/src/algebra/plot3d.spad.pamphlet
index acabe73b..579e7b22 100644
--- a/src/algebra/plot3d.spad.pamphlet
+++ b/src/algebra/plot3d.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra plot3d.spad}
\author{Clifton J. Williamson, Michael Monagan, Jon Steinbach}
diff --git a/src/algebra/plottool.spad.pamphlet b/src/algebra/plottool.spad.pamphlet
index adc528ab..fe181c4e 100644
--- a/src/algebra/plottool.spad.pamphlet
+++ b/src/algebra/plottool.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra plottool.spad}
\author{The Axiom Team}
diff --git a/src/algebra/polset.spad.pamphlet b/src/algebra/polset.spad.pamphlet
index db7e1dc0..6043955c 100644
--- a/src/algebra/polset.spad.pamphlet
+++ b/src/algebra/polset.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra polset.spad}
\author{Marc Moreno Maza}
diff --git a/src/algebra/poltopol.spad.pamphlet b/src/algebra/poltopol.spad.pamphlet
index 296c0027..2f3cfe88 100644
--- a/src/algebra/poltopol.spad.pamphlet
+++ b/src/algebra/poltopol.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra poltopol.spad}
\author{Manuel Bronstein, Patrizia Gianni}
diff --git a/src/algebra/poly.spad.pamphlet b/src/algebra/poly.spad.pamphlet
index 12d039ef..9b641589 100644
--- a/src/algebra/poly.spad.pamphlet
+++ b/src/algebra/poly.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra poly.spad}
\author{Dave Barton, James Davenport, Barry Trager, Patrizia Gianni, Marc Moreno Maza}
diff --git a/src/algebra/polycat.spad.pamphlet b/src/algebra/polycat.spad.pamphlet
index 4a6c5f5c..a7d306f7 100644
--- a/src/algebra/polycat.spad.pamphlet
+++ b/src/algebra/polycat.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra polycat.spad}
\author{Manuel Bronstein}
diff --git a/src/algebra/primelt.spad.pamphlet b/src/algebra/primelt.spad.pamphlet
index 725c6750..1f18de1d 100644
--- a/src/algebra/primelt.spad.pamphlet
+++ b/src/algebra/primelt.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra primelt.spad}
\author{Manuel Bronstein}
diff --git a/src/algebra/print.spad.pamphlet b/src/algebra/print.spad.pamphlet
index b43a86ed..68491d8e 100644
--- a/src/algebra/print.spad.pamphlet
+++ b/src/algebra/print.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra print.spad}
\author{Scott Morrison}
diff --git a/src/algebra/product.spad.pamphlet b/src/algebra/product.spad.pamphlet
index 0787277e..e10d11a8 100644
--- a/src/algebra/product.spad.pamphlet
+++ b/src/algebra/product.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra product.spad}
\author{The Axiom Team}
diff --git a/src/algebra/prs.spad.pamphlet b/src/algebra/prs.spad.pamphlet
index 38e3fc4c..7804b4fb 100644
--- a/src/algebra/prs.spad.pamphlet
+++ b/src/algebra/prs.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra prs.spad}
\author{Lionel Ducos}
diff --git a/src/algebra/prtition.spad.pamphlet b/src/algebra/prtition.spad.pamphlet
index c6b8f896..5e70c34d 100644
--- a/src/algebra/prtition.spad.pamphlet
+++ b/src/algebra/prtition.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{src/algebra prtition.spad}
diff --git a/src/algebra/pscat.spad.pamphlet b/src/algebra/pscat.spad.pamphlet
index fbc1806f..86eecd2f 100644
--- a/src/algebra/pscat.spad.pamphlet
+++ b/src/algebra/pscat.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra pscat.spad}
\author{Clifton J. Williamson}
diff --git a/src/algebra/pseudolin.spad.pamphlet b/src/algebra/pseudolin.spad.pamphlet
index fb6d38a5..6d69f5f3 100644
--- a/src/algebra/pseudolin.spad.pamphlet
+++ b/src/algebra/pseudolin.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra pseudolin.spad}
\author{Bruno Zuercher}
diff --git a/src/algebra/ptranfn.spad.pamphlet b/src/algebra/ptranfn.spad.pamphlet
index 306346d7..f0f2e85f 100644
--- a/src/algebra/ptranfn.spad.pamphlet
+++ b/src/algebra/ptranfn.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra ptranfn.spad}
\author{Clifton J. Williamson}
diff --git a/src/algebra/puiseux.spad.pamphlet b/src/algebra/puiseux.spad.pamphlet
index 5ae09734..a38a3301 100644
--- a/src/algebra/puiseux.spad.pamphlet
+++ b/src/algebra/puiseux.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra puiseux.spad}
\author{Clifton J. Williamson, Scott C. Morrison}
diff --git a/src/algebra/qalgset.spad.pamphlet b/src/algebra/qalgset.spad.pamphlet
index 30e121fe..f93f1ef0 100644
--- a/src/algebra/qalgset.spad.pamphlet
+++ b/src/algebra/qalgset.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra qalgset.spad}
\author{William Sit}
diff --git a/src/algebra/quat.spad.pamphlet b/src/algebra/quat.spad.pamphlet
index 92ce1e47..c4bfb9c2 100644
--- a/src/algebra/quat.spad.pamphlet
+++ b/src/algebra/quat.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra quat.spad}
\author{Robert S. Sutor}
diff --git a/src/algebra/radeigen.spad.pamphlet b/src/algebra/radeigen.spad.pamphlet
index e4d24320..e9232fc1 100644
--- a/src/algebra/radeigen.spad.pamphlet
+++ b/src/algebra/radeigen.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra radeigen.spad}
\author{Patrizia Gianni}
diff --git a/src/algebra/radix.spad.pamphlet b/src/algebra/radix.spad.pamphlet
index c3aa63af..455e7b77 100644
--- a/src/algebra/radix.spad.pamphlet
+++ b/src/algebra/radix.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra radix.spad}
\author{Stephen M. Watt, Clifton J. Williamson}
diff --git a/src/algebra/random.spad.pamphlet b/src/algebra/random.spad.pamphlet
index b4459bb2..f28575cb 100644
--- a/src/algebra/random.spad.pamphlet
+++ b/src/algebra/random.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra random.spad}
\author{Stephen M. Watt, Mike Dewar}
diff --git a/src/algebra/ratfact.spad.pamphlet b/src/algebra/ratfact.spad.pamphlet
index 68a83a3f..0a097ee3 100644
--- a/src/algebra/ratfact.spad.pamphlet
+++ b/src/algebra/ratfact.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra ratfact.spad}
\author{Patrizia Gianni}
diff --git a/src/algebra/rdeef.spad.pamphlet b/src/algebra/rdeef.spad.pamphlet
index 971fe2a6..e9aa2e67 100644
--- a/src/algebra/rdeef.spad.pamphlet
+++ b/src/algebra/rdeef.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra rdeef.spad}
\author{Manuel Bronstein}
diff --git a/src/algebra/rderf.spad.pamphlet b/src/algebra/rderf.spad.pamphlet
index 29d55915..fb7f7721 100644
--- a/src/algebra/rderf.spad.pamphlet
+++ b/src/algebra/rderf.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra rderf.spad}
\author{Manuel Bronstein}
diff --git a/src/algebra/rdesys.spad.pamphlet b/src/algebra/rdesys.spad.pamphlet
index 59c68600..92bfcd21 100644
--- a/src/algebra/rdesys.spad.pamphlet
+++ b/src/algebra/rdesys.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra rdesys.spad}
\author{Manuel Bronstein}
diff --git a/src/algebra/real0q.spad.pamphlet b/src/algebra/real0q.spad.pamphlet
index 5a891c92..c2691ccc 100644
--- a/src/algebra/real0q.spad.pamphlet
+++ b/src/algebra/real0q.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra real0q.spad}
\author{Andy Neff, Barry Trager}
diff --git a/src/algebra/realzero.spad.pamphlet b/src/algebra/realzero.spad.pamphlet
index 695d695a..5f5d3235 100644
--- a/src/algebra/realzero.spad.pamphlet
+++ b/src/algebra/realzero.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra realzero.spad}
\author{Andy Neff}
diff --git a/src/algebra/reclos.spad.pamphlet b/src/algebra/reclos.spad.pamphlet
index 23f67912..bc6275be 100644
--- a/src/algebra/reclos.spad.pamphlet
+++ b/src/algebra/reclos.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra reclos.spad}
\author{Renaud Rioboo}
diff --git a/src/algebra/regset.spad.pamphlet b/src/algebra/regset.spad.pamphlet
index 691a91a9..050960eb 100644
--- a/src/algebra/regset.spad.pamphlet
+++ b/src/algebra/regset.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra regset.spad}
\author{Marc Moreno Maza}
diff --git a/src/algebra/rep1.spad.pamphlet b/src/algebra/rep1.spad.pamphlet
index 47e3638e..f26ae02c 100644
--- a/src/algebra/rep1.spad.pamphlet
+++ b/src/algebra/rep1.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra rep1.spad}
\author{Holger Gollan, Johannes Grabmeier, Thorsten Werther}
diff --git a/src/algebra/rep2.spad.pamphlet b/src/algebra/rep2.spad.pamphlet
index 0cf58d85..acd317dc 100644
--- a/src/algebra/rep2.spad.pamphlet
+++ b/src/algebra/rep2.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra rep2.spad}
\author{Holger Gollan, Johannes Grabmeier}
diff --git a/src/algebra/resring.spad.pamphlet b/src/algebra/resring.spad.pamphlet
index 343c34ca..66a63715 100644
--- a/src/algebra/resring.spad.pamphlet
+++ b/src/algebra/resring.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra resring.spad}
\author{Patrizia Gianni}
diff --git a/src/algebra/retract.spad.pamphlet b/src/algebra/retract.spad.pamphlet
index ac466e52..f47fc642 100644
--- a/src/algebra/retract.spad.pamphlet
+++ b/src/algebra/retract.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{src/algebra retract.spad}
\author{Manuel Bronstein}
diff --git a/src/algebra/rf.spad.pamphlet b/src/algebra/rf.spad.pamphlet
index d9cd4e1a..26184004 100644
--- a/src/algebra/rf.spad.pamphlet
+++ b/src/algebra/rf.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra rf.spad}
\author{Manuel Bronstein}
diff --git a/src/algebra/riccati.spad.pamphlet b/src/algebra/riccati.spad.pamphlet
index 0fdbe47c..e581b129 100644
--- a/src/algebra/riccati.spad.pamphlet
+++ b/src/algebra/riccati.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra riccati.spad}
\author{Manuel Bronstein}
diff --git a/src/algebra/rinterp.spad.pamphlet b/src/algebra/rinterp.spad.pamphlet
index a945c303..73d12ede 100644
--- a/src/algebra/rinterp.spad.pamphlet
+++ b/src/algebra/rinterp.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra rinterp.spad}
\author{Martin Rubey}
diff --git a/src/algebra/routines.spad.pamphlet b/src/algebra/routines.spad.pamphlet
index c491b23d..ee9bf0aa 100644
--- a/src/algebra/routines.spad.pamphlet
+++ b/src/algebra/routines.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra routines.spad}
\author{Brian Dupee}
diff --git a/src/algebra/rule.spad.pamphlet b/src/algebra/rule.spad.pamphlet
index d98a4ec4..6c56bca9 100644
--- a/src/algebra/rule.spad.pamphlet
+++ b/src/algebra/rule.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra rule.spad}
\author{Manuel Bronstein}
diff --git a/src/algebra/s.spad.pamphlet b/src/algebra/s.spad.pamphlet
index 7da7e734..0b89a5cb 100644
--- a/src/algebra/s.spad.pamphlet
+++ b/src/algebra/s.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra s.spad}
\author{Godfrey Nolan, Mike Dewar}
diff --git a/src/algebra/seg.spad.pamphlet b/src/algebra/seg.spad.pamphlet
index 6f292840..b75f8e92 100644
--- a/src/algebra/seg.spad.pamphlet
+++ b/src/algebra/seg.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra seg.spad}
\author{Stephen M. Watt, Robert Sutor}
diff --git a/src/algebra/setorder.spad.pamphlet b/src/algebra/setorder.spad.pamphlet
index 1e62721b..6b2b67d1 100644
--- a/src/algebra/setorder.spad.pamphlet
+++ b/src/algebra/setorder.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra setorder.spad}
\author{Manuel Bronstein}
diff --git a/src/algebra/sets.spad.pamphlet b/src/algebra/sets.spad.pamphlet
index 344d5cbb..6e57f8e4 100644
--- a/src/algebra/sets.spad.pamphlet
+++ b/src/algebra/sets.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra sets.spad}
\author{Michael Monagan, Richard Jenks}
diff --git a/src/algebra/sex.spad.pamphlet b/src/algebra/sex.spad.pamphlet
index 0481c504..d688f92b 100644
--- a/src/algebra/sex.spad.pamphlet
+++ b/src/algebra/sex.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra sex.spad}
\author{Stephen M. Watt}
diff --git a/src/algebra/sf.spad.pamphlet b/src/algebra/sf.spad.pamphlet
index 93abae0d..5efeba82 100644
--- a/src/algebra/sf.spad.pamphlet
+++ b/src/algebra/sf.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra sf.spad}
\author{Michael Monagan, Stephen M. Watt}
diff --git a/src/algebra/sgcf.spad.pamphlet b/src/algebra/sgcf.spad.pamphlet
index 752ecd02..5f1dfa6b 100644
--- a/src/algebra/sgcf.spad.pamphlet
+++ b/src/algebra/sgcf.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra sgcf.spad}
\author{Johannes Grabmeier, Thorsten Werther}
diff --git a/src/algebra/si.spad.pamphlet b/src/algebra/si.spad.pamphlet
index 0fca5bd1..cee9d51c 100644
--- a/src/algebra/si.spad.pamphlet
+++ b/src/algebra/si.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra si.spad}
\author{Stephen M. Watt, Michael Monagan, James Davenport, Barry Trager}
diff --git a/src/algebra/sign.spad.pamphlet b/src/algebra/sign.spad.pamphlet
index f717ae8b..b96e13a3 100644
--- a/src/algebra/sign.spad.pamphlet
+++ b/src/algebra/sign.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra sign.spad}
\author{Manuel Bronstein}
diff --git a/src/algebra/smith.spad.pamphlet b/src/algebra/smith.spad.pamphlet
index fb3c13f6..97fc3b76 100644
--- a/src/algebra/smith.spad.pamphlet
+++ b/src/algebra/smith.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra smith.spad}
\author{Patrizia Gianni}
diff --git a/src/algebra/solvedio.spad.pamphlet b/src/algebra/solvedio.spad.pamphlet
index dcf0d2d2..f085b22e 100644
--- a/src/algebra/solvedio.spad.pamphlet
+++ b/src/algebra/solvedio.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra solvedio.spad}
\author{Albrecht Fortenbacher}
diff --git a/src/algebra/solvefor.spad.pamphlet b/src/algebra/solvefor.spad.pamphlet
index b82f1f35..6d072ae8 100644
--- a/src/algebra/solvefor.spad.pamphlet
+++ b/src/algebra/solvefor.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra solvefor.spad}
\author{Stephen M. Watt, Barry Trager}
diff --git a/src/algebra/solvelin.spad.pamphlet b/src/algebra/solvelin.spad.pamphlet
index 1bef30f9..470dd200 100644
--- a/src/algebra/solvelin.spad.pamphlet
+++ b/src/algebra/solvelin.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra solvelin.spad}
\author{Patrizia Gianni, Stephen M. Watt, Robert Sutor}
diff --git a/src/algebra/solverad.spad.pamphlet b/src/algebra/solverad.spad.pamphlet
index 34927401..e8f52a14 100644
--- a/src/algebra/solverad.spad.pamphlet
+++ b/src/algebra/solverad.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra solverad.spad}
\author{Patrizia Gianni}
diff --git a/src/algebra/sortpak.spad.pamphlet b/src/algebra/sortpak.spad.pamphlet
index c96e3aa1..747e8eec 100644
--- a/src/algebra/sortpak.spad.pamphlet
+++ b/src/algebra/sortpak.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra sortpak.spad}
\author{The Axiom Team}
diff --git a/src/algebra/space.spad.pamphlet b/src/algebra/space.spad.pamphlet
index 21428a1f..6d688e47 100644
--- a/src/algebra/space.spad.pamphlet
+++ b/src/algebra/space.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra space.spad}
\author{The Axiom Team}
diff --git a/src/algebra/special.spad.pamphlet b/src/algebra/special.spad.pamphlet
index bb41d3df..8a619f7b 100644
--- a/src/algebra/special.spad.pamphlet
+++ b/src/algebra/special.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra special.spad}
\author{Bruce W. Char, Stephen M. Watt}
diff --git a/src/algebra/sregset.spad.pamphlet b/src/algebra/sregset.spad.pamphlet
index 634f37c8..0fa7bee2 100644
--- a/src/algebra/sregset.spad.pamphlet
+++ b/src/algebra/sregset.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra sregset.spad}
\author{Marc Moreno Maza}
diff --git a/src/algebra/stream.spad.pamphlet b/src/algebra/stream.spad.pamphlet
index 1c15a504..fd13ff0f 100644
--- a/src/algebra/stream.spad.pamphlet
+++ b/src/algebra/stream.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra stream.spad}
\author{Clifton J. Williamson, William Burge, Stephen M. Watt}
diff --git a/src/algebra/string.spad.pamphlet b/src/algebra/string.spad.pamphlet
index 353ed862..fc009d84 100644
--- a/src/algebra/string.spad.pamphlet
+++ b/src/algebra/string.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra string.spad}
\author{Stephen M. Watt, Michael Monagan, Manuel Bronstein}
diff --git a/src/algebra/sttaylor.spad.pamphlet b/src/algebra/sttaylor.spad.pamphlet
index febd20d1..ba55cf92 100644
--- a/src/algebra/sttaylor.spad.pamphlet
+++ b/src/algebra/sttaylor.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra sttaylor.spad}
\author{William Burge, Stephen Watt, Clifton J. Williamson}
diff --git a/src/algebra/sttf.spad.pamphlet b/src/algebra/sttf.spad.pamphlet
index b96dc31f..f65e7bbc 100644
--- a/src/algebra/sttf.spad.pamphlet
+++ b/src/algebra/sttf.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra sttf.spad}
\author{William Burge, Clifton J. Williamson}
diff --git a/src/algebra/sturm.spad.pamphlet b/src/algebra/sturm.spad.pamphlet
index 462c1c00..d1a5b484 100644
--- a/src/algebra/sturm.spad.pamphlet
+++ b/src/algebra/sturm.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra sturm.spad}
\author{Lalo Gonzalez-Vega}
diff --git a/src/algebra/suchthat.spad.pamphlet b/src/algebra/suchthat.spad.pamphlet
index f26514fe..9afa0569 100644
--- a/src/algebra/suchthat.spad.pamphlet
+++ b/src/algebra/suchthat.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra suchthat.spad}
\author{Timothy Daly}
diff --git a/src/algebra/suls.spad.pamphlet b/src/algebra/suls.spad.pamphlet
index 8bdf483b..2b1db3b9 100644
--- a/src/algebra/suls.spad.pamphlet
+++ b/src/algebra/suls.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra suls.spad}
\author{Clifton J. Williamson}
diff --git a/src/algebra/sum.spad.pamphlet b/src/algebra/sum.spad.pamphlet
index 478a5e94..1aa28145 100644
--- a/src/algebra/sum.spad.pamphlet
+++ b/src/algebra/sum.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra sum.spad}
\author{Stephen M. Watt, Manuel Bronstein}
diff --git a/src/algebra/sups.spad.pamphlet b/src/algebra/sups.spad.pamphlet
index a45f6482..12002060 100644
--- a/src/algebra/sups.spad.pamphlet
+++ b/src/algebra/sups.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra sups.spad}
\author{Clifton J. Williamson}
diff --git a/src/algebra/supxs.spad.pamphlet b/src/algebra/supxs.spad.pamphlet
index adddd2e9..a8591584 100644
--- a/src/algebra/supxs.spad.pamphlet
+++ b/src/algebra/supxs.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra supxs.spad}
\author{Clifton J. Williamson}
diff --git a/src/algebra/suts.spad.pamphlet b/src/algebra/suts.spad.pamphlet
index b0b70950..8e5f4106 100644
--- a/src/algebra/suts.spad.pamphlet
+++ b/src/algebra/suts.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra suts.spad}
\author{Clifton J. Williamson}
diff --git a/src/algebra/symbol.spad.pamphlet b/src/algebra/symbol.spad.pamphlet
index 3a64cc7b..dc99be07 100644
--- a/src/algebra/symbol.spad.pamphlet
+++ b/src/algebra/symbol.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra symbol.spad}
\author{Stephen M. Watt}
diff --git a/src/algebra/syntax.spad.pamphlet b/src/algebra/syntax.spad.pamphlet
index 2e85f238..1511b02f 100644
--- a/src/algebra/syntax.spad.pamphlet
+++ b/src/algebra/syntax.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\author{Gabriel Dos~Reis}
diff --git a/src/algebra/syssolp.spad.pamphlet b/src/algebra/syssolp.spad.pamphlet
index 88f7b334..1561a89a 100644
--- a/src/algebra/syssolp.spad.pamphlet
+++ b/src/algebra/syssolp.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra syssolp.spad}
\author{Patrizia Gianni}
diff --git a/src/algebra/system.spad.pamphlet b/src/algebra/system.spad.pamphlet
index ae4d6351..e2ba788d 100644
--- a/src/algebra/system.spad.pamphlet
+++ b/src/algebra/system.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\title{\$SPAD/src/algebra system.spad}
\author{Gabriel Dos~Reis \and Timothy Daly}
diff --git a/src/algebra/table.spad.pamphlet b/src/algebra/table.spad.pamphlet
index f62e6011..b6347545 100644
--- a/src/algebra/table.spad.pamphlet
+++ b/src/algebra/table.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra table.spad}
\author{Stephen M. Watt, Barry Trager}
diff --git a/src/algebra/tableau.spad.pamphlet b/src/algebra/tableau.spad.pamphlet
index baa49c34..a5432bec 100644
--- a/src/algebra/tableau.spad.pamphlet
+++ b/src/algebra/tableau.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra tableau.spad}
\author{William H. Burge}
diff --git a/src/algebra/taylor.spad.pamphlet b/src/algebra/taylor.spad.pamphlet
index fa0debbc..48f29f56 100644
--- a/src/algebra/taylor.spad.pamphlet
+++ b/src/algebra/taylor.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra taylor.spad}
\author{Clifton J. Williamson}
diff --git a/src/algebra/tex.spad.pamphlet b/src/algebra/tex.spad.pamphlet
index 9ce894cb..4c6fcc1c 100644
--- a/src/algebra/tex.spad.pamphlet
+++ b/src/algebra/tex.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra tex.spad}
\author{Robert S. Sutor}
diff --git a/src/algebra/tools.spad.pamphlet b/src/algebra/tools.spad.pamphlet
index dc8135e9..1d3984c7 100644
--- a/src/algebra/tools.spad.pamphlet
+++ b/src/algebra/tools.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra tools.spad}
\author{Brian Dupee}
diff --git a/src/algebra/transsolve.spad.pamphlet b/src/algebra/transsolve.spad.pamphlet
index 84475a3b..f6e065ec 100644
--- a/src/algebra/transsolve.spad.pamphlet
+++ b/src/algebra/transsolve.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra transsolve.spad}
\author{Waldemar Wiwianka, Martin Rubey}
diff --git a/src/algebra/tree.spad.pamphlet b/src/algebra/tree.spad.pamphlet
index d4f187c0..09d7089b 100644
--- a/src/algebra/tree.spad.pamphlet
+++ b/src/algebra/tree.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra tree.spad}
\author{William Burge}
diff --git a/src/algebra/trigcat.spad.pamphlet b/src/algebra/trigcat.spad.pamphlet
index e4c4f1d9..e28bfa34 100644
--- a/src/algebra/trigcat.spad.pamphlet
+++ b/src/algebra/trigcat.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra trigcat.spad}
\author{Manuel Bronstein}
diff --git a/src/algebra/triset.spad.pamphlet b/src/algebra/triset.spad.pamphlet
index cdc53b28..562994e3 100644
--- a/src/algebra/triset.spad.pamphlet
+++ b/src/algebra/triset.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra triset.spad}
\author{Marc Moreno Maza}
diff --git a/src/algebra/tube.spad.pamphlet b/src/algebra/tube.spad.pamphlet
index 48cc89cb..9982ed05 100644
--- a/src/algebra/tube.spad.pamphlet
+++ b/src/algebra/tube.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra tube.spad}
\author{Clifton J. Williamson}
diff --git a/src/algebra/twofact.spad.pamphlet b/src/algebra/twofact.spad.pamphlet
index bf9b9368..4b6a1525 100644
--- a/src/algebra/twofact.spad.pamphlet
+++ b/src/algebra/twofact.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra twofact.spad}
\author{Patrizia Gianni, James Davenport}
diff --git a/src/algebra/unifact.spad.pamphlet b/src/algebra/unifact.spad.pamphlet
index a6ed0198..5e52db28 100644
--- a/src/algebra/unifact.spad.pamphlet
+++ b/src/algebra/unifact.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra unifact.spad}
\author{Patrizia Gianni}
diff --git a/src/algebra/updecomp.spad.pamphlet b/src/algebra/updecomp.spad.pamphlet
index c300db68..fba1182a 100644
--- a/src/algebra/updecomp.spad.pamphlet
+++ b/src/algebra/updecomp.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra updecomp.spad}
\author{Frederic Lehobey}
diff --git a/src/algebra/updivp.spad.pamphlet b/src/algebra/updivp.spad.pamphlet
index 01ffe8ca..efeb3cca 100644
--- a/src/algebra/updivp.spad.pamphlet
+++ b/src/algebra/updivp.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra updivp.spad}
\author{Frederic Lehobey}
diff --git a/src/algebra/utsode.spad.pamphlet b/src/algebra/utsode.spad.pamphlet
index 26d03144..c2d3d6ab 100644
--- a/src/algebra/utsode.spad.pamphlet
+++ b/src/algebra/utsode.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra utsode.spad}
\author{Stephen M. Watt, Clifton J. Williamson}
diff --git a/src/algebra/variable.spad.pamphlet b/src/algebra/variable.spad.pamphlet
index 6678dba2..edf83230 100644
--- a/src/algebra/variable.spad.pamphlet
+++ b/src/algebra/variable.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra variable.spad}
\author{The Axiom Team}
diff --git a/src/algebra/vector.spad.pamphlet b/src/algebra/vector.spad.pamphlet
index 370314f1..292a8a01 100644
--- a/src/algebra/vector.spad.pamphlet
+++ b/src/algebra/vector.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra vector.spad}
\author{The Axiom Team}
diff --git a/src/algebra/view2D.spad.pamphlet b/src/algebra/view2D.spad.pamphlet
index 68d634e5..d5b90a78 100644
--- a/src/algebra/view2D.spad.pamphlet
+++ b/src/algebra/view2D.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra view2D.spad}
\author{James Wen}
diff --git a/src/algebra/view3D.spad.pamphlet b/src/algebra/view3D.spad.pamphlet
index 2fc1d5f4..22b6d1cd 100644
--- a/src/algebra/view3D.spad.pamphlet
+++ b/src/algebra/view3D.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra view3D.spad}
\author{James Wen}
diff --git a/src/algebra/viewDef.spad.pamphlet b/src/algebra/viewDef.spad.pamphlet
index 645a9c79..fd552797 100644
--- a/src/algebra/viewDef.spad.pamphlet
+++ b/src/algebra/viewDef.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra viewDef.spad}
\author{James Wen}
diff --git a/src/algebra/viewpack.spad.pamphlet b/src/algebra/viewpack.spad.pamphlet
index 5655f96e..f029c865 100644
--- a/src/algebra/viewpack.spad.pamphlet
+++ b/src/algebra/viewpack.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra viewpack.spad}
\author{James Wen}
diff --git a/src/algebra/void.spad.pamphlet b/src/algebra/void.spad.pamphlet
index fc8c8583..5d2475cc 100644
--- a/src/algebra/void.spad.pamphlet
+++ b/src/algebra/void.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{src/algebra void.spad}
\author{Stephen M. Watt}
diff --git a/src/algebra/weier.spad.pamphlet b/src/algebra/weier.spad.pamphlet
index 175f49c1..a88c26cf 100644
--- a/src/algebra/weier.spad.pamphlet
+++ b/src/algebra/weier.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{src/algebra weier.spad}
\author{William H. Burge}
diff --git a/src/algebra/wtpol.spad.pamphlet b/src/algebra/wtpol.spad.pamphlet
index 81d9bbc2..fd370f3a 100644
--- a/src/algebra/wtpol.spad.pamphlet
+++ b/src/algebra/wtpol.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra wtpol.spad}
\author{James Davenport}
diff --git a/src/algebra/xlpoly.spad.pamphlet b/src/algebra/xlpoly.spad.pamphlet
index c74bbd71..54526022 100644
--- a/src/algebra/xlpoly.spad.pamphlet
+++ b/src/algebra/xlpoly.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{\$SPAD/src/algebra xlpoly.spad}
\author{Michel Petitot}
diff --git a/src/algebra/xpoly.spad.pamphlet b/src/algebra/xpoly.spad.pamphlet
index 708f697f..b946d8bd 100644
--- a/src/algebra/xpoly.spad.pamphlet
+++ b/src/algebra/xpoly.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{src/algebra xpoly.spad}
\author{Michel Petitot}
diff --git a/src/algebra/ystream.spad.pamphlet b/src/algebra/ystream.spad.pamphlet
index 7456aaab..2f63b7bb 100644
--- a/src/algebra/ystream.spad.pamphlet
+++ b/src/algebra/ystream.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{src/algebra ystream.spad}
\author{William Burge, Stephen M. Watt, Clifton J. Williamson}
diff --git a/src/algebra/zerodim.spad.pamphlet b/src/algebra/zerodim.spad.pamphlet
index ca1f4409..80c9b524 100644
--- a/src/algebra/zerodim.spad.pamphlet
+++ b/src/algebra/zerodim.spad.pamphlet
@@ -1,5 +1,5 @@
\documentclass{article}
-\usepackage{axiom}
+\usepackage{open-axiom}
\begin{document}
\title{src/algebra zerodim.spad}
\author{Marc Moreno Maza}
diff --git a/src/interp/i-syscmd.boot b/src/interp/i-syscmd.boot
index 7db77377..19c27f20 100644
--- a/src/interp/i-syscmd.boot
+++ b/src/interp/i-syscmd.boot
@@ -2473,7 +2473,7 @@ reportOpsFromLisplib1(unitForm,u) ==
editFile showFile
reportOpsFromUnitDirectly unitForm ==
- isRecordOrUnion := unitForm is [a,:.] and a in '(Record Union)
+ isRecordOrUnion := unitForm is [a,:.] and a in $DomainNames
unit:= evalDomain unitForm
top:= first unitForm
kind:= getConstructorKindFromDB top
@@ -2514,7 +2514,7 @@ reportOpsFromUnitDirectly unitForm ==
systemErrorHere ["reportOpsFromUnitDirectly",top]
[funlist,.]:= FUNCALL(constructorFunction,"$",unitForm,
$CategoryFrame)
- sigList := REMDUP MSORT [[[a,b],true,[c,0,1]] for
+ sigList := REMDUP MSORT [[[a,b],true,c] for
[a,b,c] in funlist]
else
sigList:= REMDUP MSORT getOplistForConstructorForm unitForm