Update Open-Axiom to version 1.4.1.

Sort the PLIST.

Very many improvements; most important for me is improved Lisp generation.

Approved by:	pav (mentor)
Approved by:	stephen (maintainer)
Feature safe:	yes

3 files changed, 201 insertions, 149 deletions

diff --git a/math/open-axiom/Makefile b/math/open-axiom/Makefile
index 49d34a1ac117..f19b7e2c93fd 100644
--- a/math/open-axiom/Makefile
+++ b/math/open-axiom/Makefile
@@ -6,10 +6,9 @@
 #
 
 PORTNAME=	open-axiom
-PORTVERSION=	1.3.0
-PORTREVISION=	2
+PORTVERSION=	1.4.1
 CATEGORIES=	math
-MASTER_SITES=	SF/${PORTNAME}
+MASTER_SITES=	SF/${PORTNAME}/${PORTVERSION}
 
 MAINTAINER=	stephen@FreeBSD.org
 COMMENT=	A computer algebra system
diff --git a/math/open-axiom/distinfo b/math/open-axiom/distinfo
index 57ec2c8346d7..79bac610d5b5 100644
--- a/math/open-axiom/distinfo
+++ b/math/open-axiom/distinfo
@@ -1,2 +1,2 @@
-SHA256 (open-axiom-1.3.0.tar.bz2) = 5c35d0c8b6da17ff2254d833c5f6694d3f5d49064e312e61719cdeb386f888c4
-SIZE (open-axiom-1.3.0.tar.bz2) = 11821857
+SHA256 (open-axiom-1.4.1.tar.bz2) = 552c9dbafe6ea147e13cc11be7c11363357fc1a02ce94b44faa22c035a7c1507
+SIZE (open-axiom-1.4.1.tar.bz2) = 10023493
diff --git a/math/open-axiom/pkg-plist b/math/open-axiom/pkg-plist
index 67716074501a..dae7e33811a5 100644
--- a/math/open-axiom/pkg-plist
+++ b/math/open-axiom/pkg-plist
@@ -1,97 +1,4 @@
 bin/open-axiom
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ADDAST.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ARITY.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASTCAT-.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ATTRAST.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BYTEBUF.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BYTEORD.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CAPSLAST.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CASEAST.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CATAST.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CATCTOR.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CLLCTAST.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/COLONAST.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/COMMAAST.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CONDUIT.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CRCEAST.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CTOR.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CTORCAT-.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CTORCAT.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CTORKIND.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DATAARY.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DEFAST.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DOMCTOR.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DOMTMPLT.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/EXITAST.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FCTRDATA.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FUNDESC.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/HASAST.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/HOMOTOP.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/HOSTNAME.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IDENT.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IFAST.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IMPTAST.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INAST.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INBCON-.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INBCON.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INBFILE.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INETCLTS.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INT16.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INT32.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INT64.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INT8.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IOBCON.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IOBFILE.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IOMODE.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IP4ADDR.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ISAST.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/JOINAST.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/KRCFROM.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/KTVLOGIC.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/KVTFROM.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LETAST.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LINSET.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LITERAL.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LLINSET.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LSTAST.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MACROAST.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MAPPAST.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MAYBE.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NETCLT.fasl
-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/OPSIG.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OUTBCON-.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OUTBCON.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OUTBFILE.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OVERSET.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PORTNUM.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PRTDAST.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/QQUTAST.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RDUCEAST.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RETAST.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RGBCMDL.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RGBCSPC.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RLINSET.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RPTAST.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RSTRCAST.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RTVALUE.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SASTCAT.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SEGAST.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SEQAST.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SIGAST.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SPADAST.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SPADXPT.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SUCHTAST.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SYSINT.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SYSNNI.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/TYPEAST.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/UINT16.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/UINT32.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/UINT64.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/UINT8.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/WHEREAST.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/WHILEAST.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/A1AGG-.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/A1AGG.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ABELGRP-.fasl
@@ -105,6 +12,7 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ACF.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ACFS-.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ACFS.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ACPLOT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ADDAST.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/AF.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/AGG-.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/AGG.fasl
@@ -128,6 +36,7 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ANY.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ANY1.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/APPLYORE.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/APPRULE.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ARITY.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ARR2CAT-.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ARR2CAT.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ARRAY1.fasl
@@ -164,9 +73,11 @@ 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
 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
@@ -182,6 +93,8 @@ 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/BMODULE.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BOOLE-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BOOLE.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BOOLEAN.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BOP.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BOP1.fasl
@@ -199,11 +112,17 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BTCAT.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BTOURN.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BTREE.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BYTE.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BYTEBUF.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BYTEORD.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CABMON.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CACHSET.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CAPSLAST.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CARD.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CARTEN.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CARTEN2.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CASEAST.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CATAST.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CATCTOR.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CATEGORY.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CCLASS.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CDEN.fasl
@@ -218,31 +137,41 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CLAGG-.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CLAGG.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CLIF.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CLIP.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CLLCTAST.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CMPLXRT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/COLONAST.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/COLOR.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/COMBF.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/COMBINAT.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/COMBOPC.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/COMM.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/COMMAAST.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/COMMONOP.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/COMMUPC.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/COMPCAT-.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/COMPCAT.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/COMPFACT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/COMPILER.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/COMPLEX.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/COMPLEX2.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/COMPLPAT.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/COMPPROP.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/COMRING.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CONDUIT.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CONTFRAC.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CONTOUR.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/COORDSYS.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CPIMA.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CPMATCH.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CRAPACK.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CRCEAST.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CRFP.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CSTTOOLS.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CTOR.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CTORCALL.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CTORCAT-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CTORCAT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CTORKIND.fasl
 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
@@ -268,10 +197,13 @@ 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
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DBLRESP.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DDFACT.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DECIMAL.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DEFAST.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DEFINTEF.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DEFINTRF.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DEGRED.fasl
@@ -284,9 +216,12 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DFSFUN.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DHMATRIX.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DIAGG-.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DIAGG.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DIFEXT-.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DIFEXT.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DIFRING-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DIFFDOM-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DIFFDOM.fasl
+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/DIOPS-.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DIOPS.fasl
@@ -301,8 +236,11 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DIVRING.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DLAGG.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DLIST.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DLP.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DMEXT.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DMP.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DOMAIN.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DOMCTOR.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DOMTMPLT.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DPMM.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DPMO.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DPOLCAT-.fasl
@@ -317,6 +255,8 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DRAWPT.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DROPT.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DROPT0.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DROPT1.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DSEXT-.fasl
+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
@@ -334,6 +274,7 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/EFSTRUC.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/EFULS.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/EFUPXS.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ELABEXPR.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ELABOR.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ELAGG-.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ELAGG.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ELEMFUN-.fasl
@@ -365,6 +306,7 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/EVALAB-.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/EVALAB.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/EVALCYC.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/EXIT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/EXITAST.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/EXPEXPAN.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/EXPR.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/EXPR2.fasl
@@ -385,6 +327,7 @@ 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
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FDIVCAT-.fasl
@@ -438,6 +381,7 @@ 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
@@ -445,8 +389,6 @@ 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/FORMULA.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FORMULA1.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
@@ -491,6 +433,7 @@ 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
@@ -529,6 +472,7 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/GSERIES.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/GSTBL.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/GTSET.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/HACKPI.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/HASAST.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/HASHTBL.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/HB.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/HDMP.fasl
@@ -540,6 +484,8 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/HEUGCD.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/HEXADEC.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/HOAGG-.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/HOAGG.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/HOMOTOP.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/HOSTNAME.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/HYPCAT-.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/HYPCAT.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IALGFACT.fasl
@@ -554,6 +500,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/IDENT.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IDPAG.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IDPAM.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IDPC.fasl
@@ -564,16 +511,23 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IEVALAB-.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IEVALAB.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IFAMON.fasl
 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
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IMPTAST.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INAST.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INBCON-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INBCON.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INBFF.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INBFILE.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INCRMAPS.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INDE.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INEP.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INETCLTS.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INFINITY.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INFORM.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INFORM1.fasl
@@ -587,6 +541,10 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INPSIGN.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INS-.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INS.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INT16.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INT32.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INT64.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INT8.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INTABL.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INTAF.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INTALG.fasl
@@ -612,21 +570,28 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INTSLPE.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INTTOOLS.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INTTR.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INVLAPLA.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IOBCON.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IOBFILE.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IOMODE.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IP4ADDR.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IPADIC.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IPF.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IPRNTPK.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IR.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IR2.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IR2F.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IRFORM.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IROOT.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IRREDFFX.fasl
 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
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ITFORM.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ITFUN2.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ITFUN3.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ITRIGMNP.fasl
@@ -634,8 +599,14 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ITUPLE.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IVECTOR.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IXAGG-.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IXAGG.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/JAVACODE.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/JOINAST.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/JORDAN.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/JVMBCODE.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/JVMCFACC.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/JVMCSTTG.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/JVMFDACC.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/JVMMDACC.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/JVMOP.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/KAFILE.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/KDAGG-.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/KDAGG.fasl
@@ -644,6 +615,9 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/KERNEL2.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/KOERCE.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/KONVERT.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/KOVACIC.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/KRCFROM.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/KTVLOGIC.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/KVTFROM.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LA.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LALG-.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LALG.fasl
@@ -651,6 +625,7 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LAPLACE.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LAUPOL.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LAZM3PK.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LEADCDET.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LETAST.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LEXP.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LEXTRIPK.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LF.fasl
@@ -662,12 +637,18 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LIECAT-.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LIECAT.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LIMITPS.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LIMITRF.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LINBASIS.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LINDEP.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LINELT.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LINEXP.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LINFORM.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LINSET.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LIST.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LIST2.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LIST2MAP.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LIST3.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LITERAL.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LLINSET.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LMDICT.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LMODULE.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LMOPS.fasl
@@ -692,14 +673,17 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LSMP.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LSMP1.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LSPP.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LSQM.fasl
+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
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MAPHACK2.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MAPHACK3.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MAPPAST.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MAPPKG1.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MAPPKG2.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MAPPKG3.fasl
@@ -709,6 +693,7 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MATCAT2.fasl
 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
@@ -784,6 +769,7 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NASRING.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NCEP.fasl
 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
@@ -807,7 +793,9 @@ 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
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OAGROUP-.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OAGROUP.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OAMON-.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OAMON.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OAMONS.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OASGP.fasl
@@ -851,7 +839,10 @@ 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
+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
@@ -860,10 +851,11 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ORDCOMP2.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ORDFIN.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ORDFUNS.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ORDMON.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ORDRING-.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ORDRING.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ORDSET-.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ORDSET.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ORDSTRCT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ORDTYPE-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ORDTYPE.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OREPCAT-.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OREPCAT.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OREPCTO.fasl
@@ -873,8 +865,12 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ORTHPOL.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OSGROUP.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OSI.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OUT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OUTBCON-.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OUTBCON.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OUTBFILE.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OUTFORM.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OVAR.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OVERSET.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OWP.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PADE.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PADEPAC.fasl
@@ -885,6 +881,7 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PADICRC.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PAIR.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PALETTE.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PAN2EXPR.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PARAMAST.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PARPC2.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PARPCURV.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PARSC2.fasl
@@ -904,12 +901,16 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PATTERN1.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PATTERN2.fasl
 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/PDRING-.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
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PDSPC.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PENDTREE.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PERM.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PERMAN.fasl
@@ -963,6 +964,7 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/POLYCAT.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/POLYCATQ.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/POLYLIFT.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/POLYROOT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PORTNUM.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PPCURVE.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PR.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PREASSOC.fasl
@@ -975,9 +977,12 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PRINT.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PRODUCT.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PROPERTY.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PROPFRML.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PROPFUN1.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PROPFUN2.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PROPLOG.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PRQAGG.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PRS.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PRTDAST.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PRTITION.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PSCAT-.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PSCAT.fasl
@@ -1001,6 +1006,7 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/QFCAT-.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/QFCAT.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/QFCAT2.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/QFORM.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/QQUTAST.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/QUAGG.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/QUAT.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/QUATCAT-.fasl
@@ -1025,6 +1031,7 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RDETR.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RDETRS.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RDIST.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RDIV.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RDUCEAST.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/REAL.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/REAL0.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/REAL0Q.fasl
@@ -1041,6 +1048,7 @@ 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
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RETSOL.fasl
@@ -1048,17 +1056,21 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RF.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RFDIST.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RFFACT.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RFFACTOR.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RGBCMDL.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RGBCSPC.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RGCHAIN.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RIDIST.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RING-.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RING.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RINTERP.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RLINSET.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RMATCAT-.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RMATCAT.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RMATRIX.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RMCAT2.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RMODULE.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RNG.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RNGBIND.fasl
 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
@@ -1066,12 +1078,15 @@ 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
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RRCC-.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RRCC.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RSDCMPK.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RSETCAT-.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RSETCAT.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RSETGCD.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RSTRCAST.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RTVALUE.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RULE.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RULECOLD.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RULESET.fasl
@@ -1080,6 +1095,7 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SAE.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SAEFACT.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SAERFFC.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SAOS.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SASTCAT.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SCACHE.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SCOPE.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SCPKG.fasl
@@ -1087,10 +1103,12 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SDPOL.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SDVAR.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SEG.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SEG2.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SEGAST.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SEGBIND.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SEGBIND2.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SEGCAT.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SEGXCAT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SEQAST.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SET.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SETAGG-.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SETAGG.fasl
@@ -1110,6 +1128,7 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SGROUP.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SHDP.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SHP.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SIG.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SIGAST.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SIGNEF.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SIGNRF.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SIMPAN.fasl
@@ -1128,7 +1147,9 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SOLVETRA.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SORTPAK.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SPACE3.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SPACEC.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SPADAST.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SPADPRSR.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SPADXPT.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SPECOUT.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SPFCAT.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SPLNODE.fasl
@@ -1138,17 +1159,18 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SRAGG-.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SRAGG.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SRDCMPK.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SREGSET.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SRING.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/STACK.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/STAGG-.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/STAGG.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/STBL.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/STEP.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/STEPAST.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/STINPROD.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/STREAM.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/STREAM1.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/STREAM2.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/STREAM3.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/STRICAT.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/STRING.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/STRTBL.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/STTAYLOR.fasl
@@ -1157,6 +1179,7 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/STTFNC.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SUBRESP.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SUBSPACE.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SUCH.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SUCHTAST.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SULS.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SUMFS.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SUMRF.fasl
@@ -1172,11 +1195,15 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SYMPOLY.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SYMS.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SYMTAB.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SYNTAX.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SYSINT.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SYSNNI.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SYSPTR.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SYSSOLP.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SYSTEM.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/TABLBUMP.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/TABLE.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/TABLEAU.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/TALGOP.fasl
 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
@@ -1203,10 +1230,15 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/TUBETOOL.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/TUPLE.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/TWOFACT.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/TYPE.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/TYPEAST.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/UDPO.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/UDVO.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/UFD-.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/UFD.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/UINT16.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/UINT32.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/UINT64.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/UINT8.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ULS.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ULS2.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ULSCAT.fasl
@@ -1259,6 +1291,8 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/VSPACE-.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/VSPACE.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/WEIER.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/WFFINTBS.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/WHEREAST.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/WHILEAST.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/WP.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/WUTSET.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/XALG.fasl
@@ -1272,6 +1306,7 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/XPOLY.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/XPOLYC.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/XPR.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/XRPOLY.fasl
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/YDIAGRAM.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/YSTREAM.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ZDSOLVE.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ZLINDEP.fasl
@@ -1284,20 +1319,48 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/exposed.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/interp.daase
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/libdb.text
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/operation.daase
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/autoload/ax.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/autoload/def.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/autoload/mark.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/autoload/nspadaux.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/autoload/pspad1.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/autoload/pspad2.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/autoload/wi1.fasl
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/autoload/wi2.fasl
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/bin/AXIOMsys
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/bin/asq
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/bin/bootsys
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/bin/clef
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/bin/sman
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/bin/viewAlone
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/doc/gloss.text
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/doc/glossdef.text
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/doc/glosskey.text
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/doc/help/abbreviation.help
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/doc/help/boot.help
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/doc/help/cd.help
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/doc/help/clear.help
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/doc/help/close.help
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/doc/help/display.help
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/doc/help/edit.help
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/doc/help/fin.help
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/doc/help/frame.help
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/doc/help/help.help
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/doc/help/history.help
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/doc/help/library.help
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/doc/help/lisp.help
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/doc/help/load.help
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/doc/help/ltrace.help
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/doc/help/nclef.help
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/doc/help/pquit.help
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/doc/help/quit.help
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/doc/help/read.help
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/doc/help/savesystem.help
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/doc/help/set.help
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/doc/help/show.help
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/doc/help/spool.help
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/doc/help/synonym.help
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/doc/help/system.help
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/doc/help/trace.help
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/doc/help/undo.help
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/doc/help/what.help
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/include/open-axiom/config
+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%%/input/algaggr.input
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/algbrbf.input
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/algfacob.input
@@ -1661,13 +1724,31 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/zlindep.input
 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
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/lib/graph/colorpoly.ps
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/lib/graph/colorwol.ps
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/lib/graph/draw.ps
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/lib/graph/drawIstr.ps
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/lib/graph/drawarc.ps
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/lib/graph/drawcolor.ps
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/lib/graph/drawline.ps
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/lib/graph/drawlines.ps
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/lib/graph/drawpoint.ps
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/lib/graph/drawrect.ps
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/lib/graph/drawstr.ps
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/lib/graph/drwfilled.ps
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/lib/graph/end.ps
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/lib/graph/fillarc.ps
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/lib/graph/fillpoly.ps
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/lib/graph/fillwol.ps
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/lib/graph/header.ps
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/lib/graph/setup.ps
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/lib/htadd
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/lib/hthits
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/lib/htsearch
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/lib/hypertex
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/lib/libOpenAxiom.a
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/lib/libopen-axiom-core.a
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/lib/libopen-axiom-core.so
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/lib/presea
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/lib/session
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/lib/spadbuf
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/lib/spadclient
@@ -2335,6 +2416,7 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/union.ht
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/util.ht
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/xmpexp.ht
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/msgs/s2-us.msgs
+lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/texmf/tex/open-axiom.sty
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/acplot.spad
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/aggcat.spad
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/aggcat2.spad
@@ -2442,7 +2524,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/formula.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
@@ -2689,44 +2770,14 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/xpoly.spad
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/ystream.spad
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/zerodim.spad
 lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/timestamp
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/doc/gloss.text
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/doc/glossdef.text
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/doc/glosskey.text
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/doc/help/abbreviation.help
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/doc/help/boot.help
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/doc/help/cd.help
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/doc/help/clear.help
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/doc/help/close.help
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/doc/help/display.help
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/doc/help/edit.help
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/doc/help/fin.help
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/doc/help/frame.help
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/doc/help/help.help
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/doc/help/history.help
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/doc/help/library.help
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/doc/help/lisp.help
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/doc/help/load.help
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/doc/help/ltrace.help
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/doc/help/nclef.help
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/doc/help/pquit.help
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/doc/help/quit.help
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/doc/help/read.help
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/doc/help/savesystem.help
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/doc/help/set.help
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/doc/help/show.help
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/doc/help/spool.help
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/doc/help/synonym.help
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/doc/help/system.help
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/doc/help/trace.help
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/doc/help/undo.help
-lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/doc/help/what.help
 @dirrm lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DEPENDENTS.DAASE
 @dirrm lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/USERS.DAASE
 @dirrm lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra
-@dirrm lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/autoload
 @exec mkdir -p %D/lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/bin/.libs
 @dirrm lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/bin/.libs
 @dirrm lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/bin
+@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
 @exec mkdir -p %D/lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/lib/.libs
 @dirrm lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/lib/.libs
@@ -2737,6 +2788,8 @@ lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/doc/help/what.help
 @dirrm lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages
 @dirrm lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex
 @dirrm lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/msgs
+@dirrm lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/texmf/tex
+@dirrm lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/texmf
 @dirrm lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share
 @dirrm lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra
 @dirrm lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src