1 files changed, 14 insertions, 171 deletions

diff --git a/math/open-axiom/pkg-plist b/math/open-axiom/pkg-plist
index dae7e33811a5..668a7d9f976e 100644
--- a/math/open-axiom/pkg-plist
+++ b/math/open-axiom/pkg-plist
@@ -42,35 +42,6 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ARR2CAT.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ARRAY1.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ARRAY12.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ARRAY2.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP1.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP10.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP12.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP19.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP20.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP24.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP27.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP28.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP29.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP30.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP31.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP33.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP34.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP35.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP4.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP41.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP42.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP49.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP50.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP55.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP6.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP7.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP73.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP74.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP77.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP78.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP8.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP80.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP9.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASSOCEQ.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASTACK.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASTCAT-.fasl
@@ -78,7 +49,6 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASTCAT.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ATRIG-.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ATRIG.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ATTRAST.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ATTRBUT.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ATTREG.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/AUTOMOR.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BALFACT.fasl
@@ -86,12 +56,13 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BASTYPE-.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BASTYPE.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BBTREE.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BEZOUT.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BFUNCT.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BGAGG-.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BGAGG.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BINARY.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BINDING.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BITS.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BINOP.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BINOPC.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BMODULE.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BOOLE-.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BOOLE.fasl
@@ -176,27 +147,6 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CTRIGMNP.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CVMP.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CYCLES.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CYCLOTOM.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/D01AGNT.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/D01AJFA.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/D01AKFA.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/D01ALFA.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/D01AMFA.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/D01ANFA.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/D01APFA.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/D01AQFA.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/D01ASFA.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/D01FCFA.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/D01GBFA.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/D01TRNS.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/D01WGTS.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/D02AGNT.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/D02BBFA.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/D02BHFA.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/D02CJFA.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/D02EJFA.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/D03AGNT.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/D03EEFA.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/D03FAFA.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DATAARY.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DBASE.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DBASIS.fasl
@@ -223,6 +173,7 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DIFFMOD.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DIFFSPC-.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DIFFSPC.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DIFRING.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DIOID.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DIOPS-.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DIOPS.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DIOSP.fasl
@@ -260,14 +211,6 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DSEXT.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DSMP.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DVARCAT-.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DVARCAT.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/E04AGNT.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/E04DGFA.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/E04FDFA.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/E04GCFA.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/E04JAFA.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/E04MBFA.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/E04NAFA.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/E04UCFA.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/EAB.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/EF.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/EFSTRUC.fasl
@@ -295,11 +238,6 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ES-.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ES.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ES1.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ES2.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ESCONT.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ESCONT1.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ESTOOLS.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ESTOOLS1.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ESTOOLS2.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/EUCDOM-.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/EUCDOM.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/EVALAB-.fasl
@@ -324,9 +262,7 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FAMR.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FARRAY.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FAXF-.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FAXF.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FC.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FCOMP.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FCPAK1.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FCTRDATA.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FDIV.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FDIV2.fasl
@@ -334,7 +270,6 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FDIVCAT-.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FDIVCAT.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FEVALAB-.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FEVALAB.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FEXPR.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FF.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FFCAT-.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FFCAT.fasl
@@ -364,6 +299,7 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FILECAT.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FINAALG-.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FINAALG.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FINITE.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FINITE-.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FINRALG-.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FINRALG.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FLAGG-.fasl
@@ -378,21 +314,13 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FLOATCP.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FLOATRP.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FM.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FM1.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FMC.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FMCAT.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FMFUN.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FMONCAT.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FMONOID.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FMTC.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FNAME.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FNCAT.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FNLA.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FOP.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FORDER.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FORT.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FORTCAT.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FORTFN.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FORTRAN.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FPARFRAC.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FPATMAB.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FPC-.fasl
@@ -431,11 +359,8 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FSRED.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FST.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FSUPFACT.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FT.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FTEM.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FUNCTION.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FUNDESC.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FVC.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FVFUN.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/GALFACT.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/GALFACTU.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/GALPOLYU.fasl
@@ -500,6 +425,7 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ICARD.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ICDEN.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IDEAL.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IDECOMP.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IDEMOPC.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IDENT.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IDPAG.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IDPAM.fasl
@@ -514,7 +440,6 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IFARRAY.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IFAST.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IFF.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IIARRAY2.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ILIST.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IMATLIN.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IMATQF.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IMATRIX.fasl
@@ -554,12 +479,10 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INTDOM-.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INTDOM.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INTEF.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INTFACT.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INTFTBL.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INTG0.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INTHEORY.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INTHERAL.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INTHERTR.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INTPACK.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INTPAF.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INTPM.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INTRAT.fasl
@@ -587,7 +510,6 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IRRF2F.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IRSN.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IRURPK.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ISAST.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ISTRING.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ISUMP.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ISUPS.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ITAYLOR.fasl
@@ -677,7 +599,6 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LSTAST.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LWORD.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LZSTAGG-.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LZSTAGG.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/M3D.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MACROAST.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MAGMA.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MAPHACK1.fasl
@@ -694,16 +615,12 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MATLIN.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MATRIX.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MATSTOR.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MAYBE.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MCALCFN.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MCDEN.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MCMPLX.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MDAGG.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MDDFACT.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MESH.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MFINFACT.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MFLOAT.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MHROWRED.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MINT.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MKBCFUNC.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MKFLCFN.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MKFUNC.fasl
@@ -729,6 +646,8 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MONOGEN-.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MONOGEN.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MONOID-.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MONOID.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MONOP.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MONOPC.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MONOTOOL.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MPC2.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MPC3.fasl
@@ -747,21 +666,6 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MULTFACT.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MULTSQFR.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NAALG-.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NAALG.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NAGC02.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NAGC05.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NAGC06.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NAGD01.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NAGD02.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NAGD03.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NAGE01.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NAGE02.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NAGE04.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NAGF01.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NAGF02.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NAGF04.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NAGF07.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NAGS.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NAGSP.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NARNG-.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NARNG.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NASRING-.fasl
@@ -771,7 +675,6 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NCNTFRAC.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NCODIV.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NETCLT.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NFINTBAS.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NIPROB.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NLINSOL.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NNI.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NODE1.fasl
@@ -789,7 +692,6 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NTPOLFN.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NTSCAT.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NUMERIC.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NUMFMT.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NUMINT.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NUMODE.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NUMQUAD.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NUMTUBE.fasl
@@ -804,15 +706,11 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OC.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OCAMON.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OCT.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OCTCT2.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ODECAT.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ODECONST.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ODEEF.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ODEIFTBL.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ODEINT.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ODEPACK.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ODEPAL.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ODEPRIM.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ODEPROB.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ODEPRRIC.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ODERAT.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ODERED.fasl
@@ -825,17 +723,8 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ODR.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ODVAR.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OFMONOID.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OINTDOM.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OM.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OMCONN.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OMDEV.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OMENC.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OMERR.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OMERRK.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OMEXPR.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OMLO.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OMPKG.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OMSAGG.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OMSERVER.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ONECOMP.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ONECOMP2.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OP.fasl
@@ -843,9 +732,6 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OPERCAT-.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OPERCAT.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OPQUERY.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OPSIG.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OPTCAT.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OPTPACK.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OPTPROB.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ORDCOMP.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ORDCOMP2.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ORDFIN.fasl
@@ -903,10 +789,7 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PBWLB.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PCOMP.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PDDOM-.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PDDOM.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PDECAT.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PDECOMP.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PDEPACK.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PDEPROB.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PDMOD.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PDRING.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PDSPC-.fasl
@@ -1047,7 +930,6 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/REPDB.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/REPSQ.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RESLATC.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RESRING.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RESULT.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RETAST.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RETRACT-.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RETRACT.fasl
@@ -1075,7 +957,6 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RNS-.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RNS.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ROIRC.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ROMAN.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ROUTINE.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RPOLCAT-.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RPOLCAT.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RPTAST.fasl
@@ -1118,11 +999,12 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SETMN.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SEX.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SEXCAT.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SEXOF.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SFORT.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SFQCMPK.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SFRGCD.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SFRTCAT.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SGCF.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SGPOP.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SGPOPC.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SGROUP-.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SGROUP.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SHDP.fasl
@@ -1188,7 +1070,6 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SUP2.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SUPFRACF.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SUPXS.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SUTS.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SWITCH.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SYMBOL.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SYMFUNC.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SYMPOLY.fasl
@@ -1208,7 +1089,6 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/TANEXP.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/TBAGG-.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/TBAGG.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/TBCMPPK.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/TEMUTL.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/TEX.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/TEX1.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/TEXTFILE.fasl
@@ -1361,6 +1241,7 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/include/open-axiom/hash-table
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/include/open-axiom/sexpr
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/include/open-axiom/storage
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/include/open-axiom/string-pool
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/include/open-axiom/vm
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/algaggr.input
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/algbrbf.input
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/algfacob.input
@@ -1721,6 +1602,7 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/xpr.input
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/zdsolve.input
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/zimmer.input
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/zlindep.input
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/interp/sys-os.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/lib/command.list
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/lib/copyright
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/lib/ex2ht
@@ -2426,19 +2308,14 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/algfact.spad
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/algfunc.spad
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/allfact.spad
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/alql.spad
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/annacat.spad
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/any.spad
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/array1.spad
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/array2.spad
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/asp.spad
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/attreg.spad
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/bags.spad
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/bezout.spad
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/boolean.spad
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/brill.spad
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/c02.spad
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/c05.spad
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/c06.spad
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/card.spad
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/carten.spad
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/catdef.spad
@@ -2452,7 +2329,6 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/combfunc.spad
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/combinat.spad
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/complet.spad
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/constant.spad
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/cont.spad
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/contfrac.spad
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/coordsys.spad
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/cra.spad
@@ -2460,20 +2336,6 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/crfp.spad
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/curve.spad
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/cycles.spad
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/cyclotom.spad
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/d01.spad
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/d01Package.spad
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/d01agents.spad
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/d01routine.spad
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/d01transform.spad
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/d01weights.spad
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/d02.spad
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/d02Package.spad
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/d02agents.spad
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/d02routine.spad
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/d03.spad
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/d03Package.spad
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/d03agents.spad
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/d03routine.spad
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/ddfact.spad
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/defaults.spad
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/defintef.spad
@@ -2482,16 +2344,11 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/degred.spad
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/derham.spad
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/dhmatrix.spad
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/divisor.spad
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/domain.spad
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/dpolcat.spad
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/draw.spad
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/drawopt.spad
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/drawpak.spad
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/e01.spad
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/e02.spad
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/e04.spad
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/e04Package.spad
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/e04agents.spad
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/e04routine.spad
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/efstruc.spad
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/efuls.spad
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/efupxs.spad
@@ -2505,10 +2362,6 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/expexpan.spad
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/expr.spad
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/expr2ups.spad
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/exprode.spad
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/f01.spad
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/f02.spad
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/f04.spad
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/f07.spad
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/facutil.spad
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/ffcat.spad
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/ffcg.spad
@@ -2524,10 +2377,6 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/float.spad
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/fmod.spad
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/fname.spad
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/fnla.spad
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/fortcat.spad
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/fortmac.spad
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/fortpak.spad
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/fortran.spad
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/forttyp.spad
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/fourier.spad
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/fparfrac.spad
@@ -2538,7 +2387,6 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/fs2expxp.spad
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/fs2ups.spad
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/fspace.spad
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/funcpkgs.spad
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/functions.spad
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/galfact.spad
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/galfactu.spad
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/galpolyu.spad
@@ -2640,13 +2488,8 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/oct.spad
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/odealg.spad
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/odeef.spad
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/oderf.spad
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/omcat.spad
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/omdev.spad
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/omerror.spad
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/omserver.spad
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/op.spad
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/opalg.spad
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/openmath.spad
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/ore.spad
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/out.spad
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/outform.spad
@@ -2707,9 +2550,7 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/retract.spad
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/rf.spad
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/riccati.spad
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/rinterp.spad
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/routines.spad
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/rule.spad
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/s.spad
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/seg.spad
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/setorder.spad
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/sets.spad
@@ -2739,6 +2580,7 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/sups.spad
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/supxs.spad
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/suts.spad
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/symbol.spad
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/syntax.spad
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/syssolp.spad
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/system.spad
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/table.spad
@@ -2779,6 +2621,7 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/timestamp
 @dirrm lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/include/open-axiom
 @dirrm lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/include
 @dirrm lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input
+@dirrm lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/interp
 @exec mkdir -p %D/lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/lib/.libs
 @dirrm lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/lib/.libs
 @exec mkdir -p %D/lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/lib/graph