Date: Thu, 26 Mar 2009 23:56:21 +0100 From: Pav Lucistnik <pav@FreeBSD.org> To: Stephen Montgomery-Smith <stephen@math.missouri.edu> Cc: freebsd-ports-bugs@FreeBSD.org Subject: Re: ports/133077: port update math/open-axiom Message-ID: <1238108181.268.2.camel@hood.oook.cz> In-Reply-To: <49CBC187.2030506@math.missouri.edu> References: <200903261744.n2QHiHPG007514@freefall.freebsd.org> <49CBC187.2030506@math.missouri.edu>
next in thread | previous in thread | raw e-mail | index | archive | help
--=-3F2EQVbNOqZpgVk04NKF Content-Type: text/plain; charset="ISO-8859-2" Content-Transfer-Encoding: quoted-printable Stephen Montgomery-Smith p=ED=B9e v =E8t 26. 03. 2009 v 12:55 -0500: > Can you check the application of the patch again? The patch definitely=20 > included changes to pkg-plist, and, for example, I can see explicitly=20 > that my patch includes the line > +lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/HEADAST.fas > which is exactly one of the "extra" files listed in your error message. The pkg-plist I have here now does not list these files. I will use the pkg-plist you attached, and will let you know. > I also attach a complete pkg-plist which you can just drop into place if=20 > you like. >=20 > Prost=FD textov=FD dokument p=F8=EDloha (pkg-plist) > bin/open-axiom > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/A1AGG-.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/A1AGG.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ABELGRP-.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ABELGRP.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ABELMON-.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ABELMON.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ABELSG-.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ABELSG.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ACF-.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ACF.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ACFS-.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ACFS.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ACPLOT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/AF.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/AGG-.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/AGG.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/AHYP.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ALAGG.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ALGEBRA-.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ALGEBRA.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ALGFACT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ALGFF.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ALGMANIP.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ALGMFACT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ALGPKG.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ALGSC.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ALIST.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/AMR-.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/AMR.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/AN.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ANON.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ANTISYM.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ANY.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ANY1.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/APPLYORE.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/APPRULE.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ARR2CAT-.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ARR2CAT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ARRAY1.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ARRAY12.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ARRAY2.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP1.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP10.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP12.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP19.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP20.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP24.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP27.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP28.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP29.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP30.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP31.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP33.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP34.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP35.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP4.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP41.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP42.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP49.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP50.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP55.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP6.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP7.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP73.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP74.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP77.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP78.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP8.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP80.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASP9.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASSOCEQ.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASTACK.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ASTCAT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ATRIG-.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ATRIG.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ATTRBUT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ATTREG.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/AUTOMOR.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BALFACT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BASTYPE-.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BASTYPE.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BBTREE.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BEZOUT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BFUNCT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BGAGG-.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BGAGG.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BINARY.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BINDING.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BINFILE.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BITS.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BMODULE.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BOOLEAN.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BOP.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BOP1.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BOUNDZRO.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BPADIC.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BPADICRT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BRAGG-.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BRAGG.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BRILL.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BSTREE.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BTAGG-.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BTAGG.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BTCAT-.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BTCAT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BTOURN.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BTREE.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BYTE.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/BYTEARY.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CABMON.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CACHSET.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CARD.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CARTEN.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CARTEN2.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CATEGORY.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CCLASS.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CDEN.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CFCAT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CHAR.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CHARNZ.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CHARPOL.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CHARZ.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CHVAR.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CINTSLPE.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CLAGG-.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CLAGG.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CLIF.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CLIP.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CMPLXRT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/COLOR.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/COMBF.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/COMBINAT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/COMBOPC.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/COMM.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/COMMONOP.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/COMMUPC.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/COMPCAT-.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/COMPCAT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/COMPFACT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/COMPLEX.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/COMPLEX2.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/COMPLPAT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/COMPPROP.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/COMRING.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CONTFRAC.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CONTOUR.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/COORDSYS.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CPIMA.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CPMATCH.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CRAPACK.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CRFP.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CSTTOOLS.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CTORCALL.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CTRIGMNP.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CVMP.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CYCLES.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/CYCLOTOM.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/D01AGNT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/D01AJFA.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/D01AKFA.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/D01ALFA.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/D01AMFA.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/D01ANFA.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/D01APFA.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/D01AQFA.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/D01ASFA.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/D01FCFA.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/D01GBFA.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/D01TRNS.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/D01WGTS.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/D02AGNT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/D02BBFA.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/D02BHFA.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/D02CJFA.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/D02EJFA.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/D03AGNT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/D03EEFA.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/D03FAFA.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DBASE.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DBLRESP.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DDFACT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DECIMAL.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DEFINTEF.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DEFINTRF.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DEGRED.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DEPENDENTS.DAASE/index.= KAF > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DEQUEUE.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DERHAM.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DFINTTLS.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DFLOAT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DFSFUN.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DHMATRIX.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DIAGG-.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DIAGG.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DIFEXT-.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DIFEXT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DIFRING-.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DIFRING.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DIOPS-.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DIOPS.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DIOSP.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DIRPCAT-.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DIRPCAT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DIRPROD.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DIRPROD2.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DISPLAY.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DIVRING-.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DIVRING.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DLAGG.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DLIST.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DLP.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DMP.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DOMAIN.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DPMM.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DPMO.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DPOLCAT-.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DPOLCAT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DQAGG.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DRAW.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DRAWCFUN.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DRAWCURV.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DRAWCX.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DRAWHACK.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DRAWPT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DROPT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DROPT0.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DROPT1.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DSMP.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DVARCAT-.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/DVARCAT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/E04AGNT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/E04DGFA.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/E04FDFA.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/E04GCFA.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/E04JAFA.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/E04MBFA.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/E04NAFA.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/E04UCFA.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/EAB.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/EF.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/EFSTRUC.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/EFULS.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/EFUPXS.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ELABEXPR.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ELAGG-.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ELAGG.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ELEMFUN-.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ELEMFUN.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ELFUTS.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ELTAB.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ELTAGG-.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ELTAGG.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/EMR.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ENTIRER.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ENV.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/EP.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/EQ.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/EQ2.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/EQTBL.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ERROR.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ES-.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ES.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ES1.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ES2.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ESCONT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ESCONT1.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ESTOOLS.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ESTOOLS1.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ESTOOLS2.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/EUCDOM-.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/EUCDOM.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/EVALAB-.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/EVALAB.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/EVALCYC.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/EXIT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/EXPEXPAN.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/EXPR.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/EXPR2.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/EXPR2UPS.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/EXPRODE.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/EXPRTUBE.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/EXPUPXS.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FACTFUNC.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FACUTIL.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FAGROUP.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FAMONC.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FAMONOID.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FAMR-.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FAMR.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FARRAY.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FAXF-.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FAXF.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FC.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FCOMP.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FCPAK1.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FDIV.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FDIV2.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FDIVCAT-.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FDIVCAT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FEVALAB-.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FEVALAB.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FEXPR.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FF.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FFCAT-.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FFCAT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FFCAT2.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FFCG.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FFCGP.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FFCGX.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FFF.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FFHOM.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FFIELDC-.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FFIELDC.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FFINTBAS.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FFNB.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FFNBP.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FFNBX.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FFP.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FFPOLY.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FFPOLY2.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FFSLPE.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FFX.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FGLMICPK.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FGROUP.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FIELD-.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FIELD.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FILE.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FILECAT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FINAALG-.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FINAALG.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FINITE.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FINRALG-.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FINRALG.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FLAGG-.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FLAGG.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FLAGG2.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FLALG.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FLASORT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FLINEXP-.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FLINEXP.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FLOAT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FLOATCP.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FLOATRP.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FM.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FM1.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FMC.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FMCAT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FMFUN.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FMONOID.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FMTC.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FNAME.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FNCAT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FNLA.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FOP.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FORDER.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FORMULA.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FORMULA1.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FORT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FORTCAT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FORTFN.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FORTRAN.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FPARFRAC.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FPATMAB.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FPC-.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FPC.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FPS-.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FPS.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FR.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FR2.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FRAC.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FRAC2.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FRAMALG-.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FRAMALG.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FRETRCT-.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FRETRCT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FRIDEAL.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FRIDEAL2.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FRMOD.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FRNAAF2.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FRNAALG-.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FRNAALG.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FRUTIL.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FS-.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FS.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FS2.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FS2EXPXP.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FS2UPS.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FSAGG-.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FSAGG.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FSAGG2.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FSCINT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FSERIES.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FSINT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FSPECF.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FSPRMELT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FSRED.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FST.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FSUPFACT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FTEM.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FUNCTION.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FVC.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/FVFUN.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/GALFACT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/GALFACTU.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/GALPOLYU.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/GALUTIL.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/GAUSSFAC.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/GB.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/GBEUCLID.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/GBF.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/GBINTERN.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/GCDDOM-.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/GCDDOM.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/GCNAALG.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/GDMP.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/GENEEZ.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/GENMFACT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/GENPGCD.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/GENUFACT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/GENUPS.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/GHENSEL.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/GMODPOL.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/GOSPER.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/GPOLSET.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/GRALG-.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/GRALG.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/GRAY.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/GRDEF.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/GRIMAGE.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/GRMOD-.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/GRMOD.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/GROEBSOL.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/GROUP-.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/GROUP.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/GSERIES.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/GSTBL.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/GTSET.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/HACKPI.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/HASHTBL.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/HB.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/HDMP.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/HDP.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/HEADAST.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/HEAP.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/HELLFDIV.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/HEUGCD.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/HEXADEC.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/HOAGG-.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/HOAGG.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/HYPCAT-.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/HYPCAT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IALGFACT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IAN.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IARRAY1.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IARRAY2.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IBACHIN.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IBATOOL.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IBITS.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IBPTOOLS.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ICARD.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ICDEN.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IDEAL.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IDECOMP.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IDPAG.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IDPAM.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IDPC.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IDPO.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IDPOAM.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IDPOAMS.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IEVALAB-.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IEVALAB.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IFAMON.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IFARRAY.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IFF.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IIARRAY2.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ILIST.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IMATLIN.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IMATQF.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IMATRIX.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INBFF.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INCRMAPS.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INDE.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INEP.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INFINITY.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INFORM.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INFORM1.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INFPROD0.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INFSP.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INMODGCD.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INNMFACT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INPRODFF.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INPRODPF.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INPSIGN.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INS-.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INS.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INTABL.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INTAF.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INTALG.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INTBIT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INTCAT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INTDOM-.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INTDOM.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INTEF.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INTFACT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INTFTBL.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INTG0.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INTHEORY.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INTHERAL.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INTHERTR.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INTPACK.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INTPAF.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INTPM.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INTRAT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INTRET.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INTRF.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INTRVL.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INTSLPE.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INTTOOLS.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INTTR.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/INVLAPLA.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IPADIC.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IPF.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IPRNTPK.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IR.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IR2.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IR2F.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IROOT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IRREDFFX.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IRRF2F.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IRSN.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IRURPK.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ISTRING.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ISUMP.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ISUPS.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ITAYLOR.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ITFUN2.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ITFUN3.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ITRIGMNP.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ITUPLE.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IVECTOR.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IXAGG-.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/IXAGG.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/JAVACODE.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/JORDAN.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/KAFILE.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/KDAGG-.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/KDAGG.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/KERNEL.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/KERNEL2.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/KOERCE.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/KONVERT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/KOVACIC.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LA.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LALG-.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LALG.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LAPLACE.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LAUPOL.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LAZM3PK.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LEADCDET.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LEXP.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LEXTRIPK.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LF.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LFCAT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LGROBP.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LIB.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LIE.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LIECAT-.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LIECAT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LIMITPS.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LIMITRF.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LINDEP.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LINEXP.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LIST.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LIST2.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LIST2MAP.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LIST3.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LMDICT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LMODULE.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LMOPS.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LNAGG-.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LNAGG.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LO.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LODEEF.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LODO.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LODO1.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LODO2.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LODOCAT-.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LODOCAT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LODOF.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LODOOPS.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LOGIC-.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LOGIC.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LPEFRAC.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LPOLY.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LSAGG-.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LSAGG.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LSMP.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LSMP1.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LSPP.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LSQM.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LWORD.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LZSTAGG-.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/LZSTAGG.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/M3D.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MAGMA.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MAPHACK1.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MAPHACK2.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MAPHACK3.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MAPPKG1.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MAPPKG2.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MAPPKG3.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MATCAT-.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MATCAT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MATCAT2.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MATLIN.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MATRIX.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MATSTOR.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MCALCFN.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MCDEN.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MCMPLX.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MDAGG.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MDDFACT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MESH.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MFINFACT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MFLOAT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MHROWRED.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MINT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MKBCFUNC.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MKCHSET.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MKFLCFN.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MKFUNC.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MKRECORD.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MKUCFUNC.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MLIFT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MLO.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MMAP.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MMLFORM.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MODFIELD.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MODMON.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MODMONOM.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MODOP.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MODRING.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MODULE-.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MODULE.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MOEBIUS.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MONAD-.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MONAD.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MONADWU-.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MONADWU.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MONOGEN-.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MONOGEN.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MONOID-.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MONOID.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MONOTOOL.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MPC2.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MPC3.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MPCPF.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MPOLY.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MPRFF.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MRATFAC.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MRF2.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MRING.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MSET.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MSETAGG.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MSYSCMD.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MTHING.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MTSCAT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MULTFACT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/MULTSQFR.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NAALG-.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NAALG.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NAGC02.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NAGC05.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NAGC06.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NAGD01.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NAGD02.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NAGD03.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NAGE01.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NAGE02.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NAGE04.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NAGF01.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NAGF02.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NAGF04.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NAGF07.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NAGS.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NAGSP.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NARNG-.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NARNG.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NASRING-.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NASRING.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NCEP.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NCNTFRAC.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NCODIV.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NFINTBAS.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NIPROB.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NLINSOL.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NNI.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NODE1.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NONE.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NONE1.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NORMMA.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NORMPK.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NORMRETR.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NPCOEF.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NREP.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NSMP.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NSUP.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NSUP2.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NTPOLFN.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NTSCAT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NUMERIC.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NUMFMT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NUMINT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NUMODE.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NUMQUAD.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/NUMTUBE.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OAGROUP.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OAMON.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OAMONS.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OASGP.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OC-.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OC.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OCAMON.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OCT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OCTCT2.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ODECAT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ODECONST.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ODEEF.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ODEIFTBL.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ODEINT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ODEPACK.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ODEPAL.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ODEPRIM.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ODEPROB.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ODEPRRIC.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ODERAT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ODERED.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ODERTRIC.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ODESYS.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ODETOOLS.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ODP.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ODPOL.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ODR.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ODVAR.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OFMONOID.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OINTDOM.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OM.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OMCONN.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OMDEV.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OMENC.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OMERR.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OMERRK.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OMEXPR.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OMLO.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OMPKG.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OMSAGG.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OMSERVER.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ONECOMP.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ONECOMP2.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OP.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OPQUERY.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OPTCAT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OPTPACK.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OPTPROB.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ORDCOMP.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ORDCOMP2.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ORDFIN.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ORDFUNS.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ORDMON.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ORDRING-.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ORDRING.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ORDSET-.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ORDSET.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OREPCAT-.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OREPCAT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OREPCTO.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ORESUP.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OREUP.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ORTHPOL.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OSGROUP.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OSI.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OUT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OUTFORM.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OVAR.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/OWP.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PADE.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PADEPAC.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PADIC.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PADICCT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PADICRAT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PADICRC.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PAIR.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PALETTE.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PAN2EXPR.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PARPC2.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PARPCURV.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PARSC2.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PARSCURV.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PARSER.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PARSU2.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PARSURF.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PARTPERM.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PATAB.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PATLRES.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PATMAB.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PATMATCH.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PATRES.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PATRES2.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PATTERN.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PATTERN1.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PATTERN2.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PBWLB.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PCOMP.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PDECAT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PDECOMP.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PDEPACK.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PDEPROB.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PDRING-.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PDRING.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PENDTREE.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PERM.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PERMAN.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PERMCAT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PERMGRP.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PF.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PFBR.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PFBRU.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PFECAT-.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PFECAT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PFO.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PFOQ.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PFOTOOLS.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PFR.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PFRPAC.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PGCD.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PGE.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PGROEB.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PI.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PICOERCE.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PID.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PINTERP.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PINTERPA.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PLEQN.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PLOT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PLOT1.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PLOT3D.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PLOTTOOL.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PMASS.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PMASSFS.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PMDOWN.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PMFS.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PMINS.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PMKERNEL.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PMLSAGG.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PMPLCAT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PMPRED.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PMPREDFS.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PMQFCAT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PMSYM.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PMTOOLS.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PNTHEORY.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/POINT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/POLTOPOL.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/POLUTIL.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/POLY.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/POLY2.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/POLY2UP.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/POLYCAT-.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/POLYCAT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/POLYCATQ.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/POLYLIFT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/POLYROOT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PPCURVE.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PR.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PREASSOC.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PRIMARR.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PRIMARR2.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PRIMCAT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PRIMELT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PRIMES.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PRINT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PRODUCT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PROPERTY.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PROPFRML.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PROPLOG.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PRQAGG.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PRS.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PRTITION.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PSCAT-.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PSCAT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PSCURVE.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PSETCAT-.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PSETCAT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PSETPK.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PSEUDLIN.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PSQFR.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PTCAT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PTFUNC2.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PTPACK.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PTRANFN.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PUSHVAR.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/PWFFINTB.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/QALGSET.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/QALGSET2.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/QCMPACK.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/QEQUAT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/QFCAT-.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/QFCAT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/QFCAT2.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/QFORM.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/QUAGG.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/QUAT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/QUATCAT-.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/QUATCAT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/QUATCT2.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/QUEUE.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RADCAT-.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RADCAT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RADFF.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RADIX.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RADUTIL.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RANDSRC.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RATFACT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RATRET.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RCAGG-.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RCAGG.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RCFIELD-.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RCFIELD.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RDEEF.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RDEEFS.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RDETR.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RDETRS.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RDIST.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RDIV.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/REAL.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/REAL0.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/REAL0Q.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/REALSOLV.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RECLOS.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/REDORDER.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/REF.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/REGSET.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/REP.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/REP1.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/REP2.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/REPDB.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/REPSQ.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RESLATC.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RESRING.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RESULT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RETRACT-.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RETRACT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RETSOL.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RF.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RFDIST.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RFFACT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RFFACTOR.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RGCHAIN.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RIDIST.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RING-.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RING.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RINTERP.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RMATCAT-.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RMATCAT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RMATRIX.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RMCAT2.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RMODULE.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RNG.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RNS-.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RNS.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ROIRC.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ROMAN.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ROUTINE.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RPOLCAT-.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RPOLCAT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RRCC-.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RRCC.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RSDCMPK.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RSETCAT-.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RSETCAT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RSETGCD.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RULE.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RULECOLD.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RULESET.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/RURPK.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SAE.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SAEFACT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SAERFFC.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SAOS.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SCACHE.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SCOPE.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SCPKG.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SDPOL.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SDVAR.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SEG.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SEG2.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SEGBIND.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SEGBIND2.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SEGCAT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SEGXCAT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SET.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SETAGG-.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SETAGG.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SETCAT-.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SETCAT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SETMN.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SEX.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SEXCAT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SEXOF.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SFORT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SFQCMPK.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SFRGCD.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SFRTCAT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SGCF.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SGROUP-.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SGROUP.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SHDP.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SHP.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SIG.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SIGNEF.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SIGNRF.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SIMPAN.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SINT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SKAGG.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SMATCAT-.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SMATCAT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SMITH.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SMP.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SMTS.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SNTSCAT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SOLVEFOR.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SOLVERAD.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SOLVESER.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SOLVETRA.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SORTPAK.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SPACE3.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SPACEC.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SPADPRSR.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SPECOUT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SPFCAT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SPLNODE.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SPLTREE.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SQMATRIX.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SRAGG-.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SRAGG.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SRDCMPK.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SREGSET.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/STACK.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/STAGG-.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/STAGG.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/STBL.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/STEP.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/STINPROD.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/STREAM.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/STREAM1.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/STREAM2.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/STREAM3.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/STRICAT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/STRING.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/STRTBL.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/STTAYLOR.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/STTF.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/STTFNC.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SUBRESP.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SUBSPACE.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SUCH.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SULS.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SUMFS.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SUMRF.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SUP.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SUP2.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SUPFRACF.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SUPXS.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SUTS.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SWITCH.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SYMBOL.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SYMFUNC.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SYMPOLY.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SYMS.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SYMTAB.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SYNTAX.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SYSSOLP.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/SYSTEM.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/TABLBUMP.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/TABLE.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/TABLEAU.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/TANEXP.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/TBAGG-.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/TBAGG.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/TBCMPPK.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/TEMUTL.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/TEX.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/TEX1.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/TEXTFILE.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/TOOLSIGN.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/TOPSP.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/TRANFUN-.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/TRANFUN.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/TREE.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/TRIGCAT-.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/TRIGCAT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/TRIGMNIP.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/TRIMAT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/TRMANIP.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/TS.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/TSETCAT-.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/TSETCAT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/TUBE.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/TUBETOOL.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/TUPLE.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/TWOFACT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/TYPE.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/UDPO.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/UDVO.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/UFD-.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/UFD.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ULS.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ULS2.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ULSCAT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ULSCCAT-.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ULSCCAT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ULSCONS.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/UNIFACT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/UNISEG.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/UNISEG2.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/UP.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/UP2.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/UPCDEN.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/UPDECOMP.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/UPDIVP.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/UPMP.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/UPOLYC-.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/UPOLYC.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/UPOLYC2.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/UPSCAT-.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/UPSCAT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/UPSQFREE.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/UPXS.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/UPXS2.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/UPXSCAT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/UPXSCCA-.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/UPXSCCA.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/UPXSCONS.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/UPXSSING.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/URAGG-.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/URAGG.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/USERS.DAASE/index.KAF > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/UTS.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/UTS2.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/UTSCAT-.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/UTSCAT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/UTSODE.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/UTSODETL.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/UTYPE.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/VARIABLE.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/VECTCAT-.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/VECTCAT.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/VECTOR.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/VECTOR2.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/VIEW.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/VIEW2D.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/VIEW3D.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/VIEWDEF.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/VOID.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/VSPACE-.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/VSPACE.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/WEIER.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/WFFINTBS.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/WP.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/WUTSET.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/XALG.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/XDPOLY.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/XEXPPKG.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/XF-.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/XF.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/XFALG.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/XPBWPOLY.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/XPOLY.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/XPOLYC.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/XPR.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/XRPOLY.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/YSTREAM.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ZDSOLVE.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ZLINDEP.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/ZMOD.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/browse.daase > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/category.daase > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/comdb.text > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/compress.daase > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/exposed.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/algebra/exposed.lib > 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.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/autoload/def.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/autoload/mark.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/autoload/nspadaux.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/autoload/pspad1.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/autoload/pspad2.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/autoload/wi1.fas > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/autoload/wi2.fas > 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%%/input/algaggr.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/algbrbf.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/algfacob.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/alist.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/allfact.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/antoine.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/arith.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/array1.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/array2.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/arrows.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/asec.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/aseg6.as > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/aseg7.as > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/assign.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/atansqrt.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/axiom.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/bags.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/bbtree.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/bern.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/bernpoly.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/binary.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/bop.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/bouquet.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/bstree.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/bug10069.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/bug10312.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/bug6357.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/bug9057.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/bugs.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/calculus.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/calculus2.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/card.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/cardinal.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/carten.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/cclass.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/cdraw.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/ch.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/char.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/clif.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/clifford.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/coercels.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/collect.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/color.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/complex.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/cone.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/conformal.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/constant.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/contfrac.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/contfrc.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/coordsys.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/curl.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/cycles.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/cycles1.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/cycloid.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/cycloid2.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/cycloid3.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/cyfactor.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/damped.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/danzwill.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/de2re.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/decimal.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/defintef.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/defintrf.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/defs.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/derham.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/dfloat.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/dhtri.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/divisor.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/dmp.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/dpol.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/draw.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/draw2dSF.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/drawalg.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/drawcfn.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/drawcfun.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/drawcurv.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/drawcx.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/drawex.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/drawpoly.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/drawx.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/easter.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/ecfact.as > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/efi.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/egg.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/eigen.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/elemfun.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/elemnum.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/elfuts.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/elt.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/eq.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/eqtbl.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/equation.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/equation2.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/errortrap.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/eval.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/evalex.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/exdiff.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/exint.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/exit.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/exlap.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/exlimit.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/expexpan.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/explim.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/explot2d.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/explot3d.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/expr.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/expr1.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/exprode.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/exprpoly.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/exseries.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/exsum.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/farray.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/ffdemo.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/fferr.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/ffrac.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/ffx72.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/fib.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/file.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/fixed.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/float.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/float1.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/float2.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/fname.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/fname1.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/fnla.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/fns.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/folium.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/fparfrac.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/fparfrc.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/fr.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/fr1.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/fr2.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/frac.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/function.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/galois.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/gary1.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/gbf.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/genups.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/gnarly1.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/gonshor.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/grdef.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/grpthry.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/gstbl.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/heap.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/heat.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/helix.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/help.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/herm.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/hexadec.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/hilbert.as > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/huang.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/ico.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/ideal.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/ifact.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/images1.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/images1a.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/images3.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/images3a.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/images6.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/images6a.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/images7.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/images7a.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/infprod.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/int.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/intaf.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/intdeq.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/intef.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/intef2.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/intg0.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/intheory.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/intlf.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/intmix.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/intmix2.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/intrf.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/ipftest.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/is.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/isprime.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/kafile.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/kernel.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/knot.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/knot2.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/kovacic.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/kuipers.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/laplace.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/leg.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/lexp.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/lextripk.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/lib.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/limit.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/linalg.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/lindep.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/liss1.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/liss2.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/list.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/lode.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/lodesys.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/lodo.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/lodo1.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/lodo2.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/lodo3.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/lodof.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/loop.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/lpoly.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/lump.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/lupfact.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/lword.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/macbug.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/macros.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/magma.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/mapleok.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/mappkg1.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/marcbench.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/matbug.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/matops.as > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/matrix.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/matrix1.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/matrix22.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/mfinfact.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/mkfunc.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/mountain.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/mpoly.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/mset.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/mset2.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/mult3d.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/multKnot.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/multfact.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/multiple.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/ndftip.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/negfloats.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/nepip.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/newlodo.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/newton.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/nlode.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/none.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/noonburg.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/noptip.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/nqip.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/nsfip.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/ntube.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/numbers.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/oct.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/octonion.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/ode.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/odpol.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/op.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/op1.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/opalg.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/operator.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/ovar.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/padic.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/palette.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/parabola.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/parpcurv.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/parscurv.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/parsurf.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/pascal.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/pascal1.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/pat.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/patmatch.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/pdecomp0.as > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/perm.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/perman.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/pfr.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/pfr1.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/pinch.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/plotfile.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/pmint.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/pollevel.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/poly.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/poly1.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/polycoer.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/psgenfcn.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/quat.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/quat1.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/r20abugs.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/r20bugs.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/r21bugs.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/r21bugsbig.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/radff.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/radix.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/realclos.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/reclos.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/reductio.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/regset.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/repa6.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/ribbon.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/ribbons.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/ribbonsNew.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/rk4draw.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/robidoux.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/roman.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/romnum.as > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/roots.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/rules.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/ruleset.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/saddle.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/scherk.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/scope.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/seg.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/segbind.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/series.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/series2.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/sersolve.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/set.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/sinCosEx.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/sininv.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/sinsin.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/sinsin2.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/sint.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/skew.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/slowint.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/solvetra.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/space3.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/spadprof.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/spiral.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/sqmatrix.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/sregset.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/stbl.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/stream.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/stream2.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/streams.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/string.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/strtbl.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/symbol.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/synonym.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/synonym2.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/t111293.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/table.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/tanatan.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/test.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/tetra.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/textfile.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/tknot.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/torus.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/tree.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/triglim.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/tschirn.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/tsetcatbutcher.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/tsetcatchemical.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/tsetcatvermeer.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/tutchap1.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/tutchap2.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/tutchap3.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/tutchap4.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/tutchap67.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/typo.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/uniseg.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/up.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/vector.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/vectors.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/viewdef.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/void.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/wiggle.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/wutset.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/xpbwpoly.input > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/input/xpoly.input > 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%%/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/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/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 > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/lib/summary > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/lib/view2D > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/lib/view3D > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/lib/viewman > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/Al.bitma= p > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/ClickToS= et.bitmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/Continue= .bitmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/DoIt.bit= map > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/Im.bitma= p > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/Re.bitma= p > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/Xdesp.bi= tmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/Xfbox.bi= tmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/Xfcirc.b= itmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/Xfullbox= .bitmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/Xfullcir= c.bitmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/Xfullfbo= x.bitmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/Xfullfci= rc.bitmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/Xgreybox= .bitmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/Xgreycir= c.bitmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/Xgreyfbo= x.bitmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/Xgreyfci= rc.bitmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/Xhappy.b= itmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/Xnobox.b= itmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/Xnocirc.= bitmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/Xnoface.= bitmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/Xopenbox= .bitmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/Xopencir= c.bitmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/Xopenfbo= x.bitmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/Xopenfci= rc.bitmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/Xperv.bi= tmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/Xsad.bit= map > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/Xtickbox= .bitmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/Xtickcir= c.bitmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/Xtickfbo= x.bitmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/Xtickfci= rc.bitmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/Xxbox.bi= tmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/Xxcirc.b= itmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/Xxfbox.b= itmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/Xxfcirc.= bitmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/aTx=3Db.= bitmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/ai.bitma= p > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/aleph.bi= tmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/alpha.bi= tmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/alpha.xb= m > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/alphaj.b= itmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/angle.bi= tmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/anna_log= o.xbm > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/axiom.xb= m > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/axiom1.b= itmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/back.bit= map > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/backslas= h.bitmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/beta.bit= map > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/beta.xbm > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/betaj.bi= tmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/bot.bitm= ap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/bullet.b= itmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/c02aff.b= itmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/c1.bitma= p > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/chi.bitm= ap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/ci.bitma= p > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/clear.bi= tmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/clearall= .bitmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/ctb.bitm= ap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/d01aqf.x= bm > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/d01fcf.b= itmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/d01gaf1.= bitmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/d01gaf2.= bitmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/d02gaf.b= itmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/d03edf.b= itmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/d03edf1.= bitmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/d03eef.b= itmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/d03eef.x= bm > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/d03eef1.= bitmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/d03eef2.= bitmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/d03faf.b= itmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/d03faf.x= bm > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/del.bitm= ap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/delta-ca= p.bitmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/delta.bi= tmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/delta.xb= m > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/div.bitm= ap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/door.bit= map > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/dot.bitm= ap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/down.bit= map > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/down3.bi= tmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/dr.bitma= p > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/e01baf.b= itmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/e01baf1.= bitmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/e01bef.b= itmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/e01daf.b= itmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/e01daf1.= bitmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/e02adf.b= itmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/e02adf1.= bitmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/e02aef.b= itmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/e02agf.b= itmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/e02agf1.= bitmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/e02ahf.b= itmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/e02ahf1.= bitmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/e02ajf.b= itmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/e02baf.b= itmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/e02bdf.b= itmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/e02bef.b= itmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/e02daf.b= itmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/e02daf1.= bitmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/e04fdf.b= itmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/e04fdf1.= bitmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/e04mbf.b= itmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/e04naf.b= itmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/e04ucf.b= itmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/ell.bitm= ap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/emptyset= .bitmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/ep1.bitm= ap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/ep2.bitm= ap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/epi.bitm= ap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/epp.bitm= ap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/epsilon.= bitmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/epsilon.= xbm > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/eqpage.b= itmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/erase.bi= tmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/error.bi= tmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/eta.bitm= ap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/exists.b= itmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/exit.bit= map > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/exit3d.b= itmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/exit3d_o= ld.bitmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/exit3di.= bitmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/f01qcf.b= itmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/f01qcf1.= bitmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/f01qcf2.= bitmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/f01qcf3.= bitmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/f01qdf.b= itmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/f01qdf1.= bitmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/f01qdf2.= bitmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/f01rdf.b= itmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/f01rdf1.= bitmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/f01rdf2.= bitmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/fi.bitma= p > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/forall.b= itmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/fqr.bitm= ap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/fr.bitma= p > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/gamma-ca= p.bitmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/gamma.bi= tmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/gamma.xb= m > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/gammak.b= itmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/gi.bitma= p > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/great=3D= .bitmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/hbar.bit= map > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/help.bit= map > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/help2.bi= tmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/help3.bi= tmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/help3d.b= itmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/help3d_o= ld.bitmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/help3di.= bitmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/home3d.b= itmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/home3d_o= ld.bitmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/home3di.= bitmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/imath.bi= tmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/infty.bi= tmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/infty.xb= m > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/ing.bitm= ap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/ing1.bit= map > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/ing2.bit= map > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/int.bitm= ap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/int1.xbm > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/int10.xb= m > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/int11.xb= m > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/int12.xb= m > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/int13.xb= m > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/int2.xbm > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/int3.xbm > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/int4.xbm > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/int5.xbm > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/int6.xbm > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/int7.xbm > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/int8.xbm > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/int9.xbm > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/integral= .bitmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/iota.bit= map > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/jmath.bi= tmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/kappa.bi= tmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/l1.bitma= p > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/lambda-c= ap.bitmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/lambda.b= itmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/lamdab.b= itmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/lamdai.b= itmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/lamdaj.b= itmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/ldlt.bit= map > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/less=3D.= bitmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/lj.bitma= p > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/llt.bitm= ap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/lt.bitma= p > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/mask.bit= map > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/menudot.= bitmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/mkm.bitm= ap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/mu.bitma= p > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/mui.bitm= ap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/muj.bitm= ap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/mx.bitma= p > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/my.bitma= p > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/nabla.bi= tmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/naglogo.= bitmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/ncap.bit= map > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/neg.bitm= ap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/newrho.b= itmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/nl.bitma= p > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/nn.bitma= p > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/noop.bit= map > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/noop3d.b= itmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/not=3D.b= itmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/notequal= .bitmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/notequal= .xbm > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/nu.bitma= p > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/nx.bitma= p > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/ny.bitma= p > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/ode1.xbm > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/ode2.xbm > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/ode3.xbm > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/omega-ca= p.bitmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/omega.bi= tmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/omicron.= bitmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/opt1.xbm > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/opt2.xbm > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/opt2c.xb= m > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/opt3.xbm > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/opt3c1.x= bm > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/opt3c2.x= bm > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/opt4.xbm > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/opt4c1.x= bm > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/opt4c2.x= bm > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/opt4c3.x= bm > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/opt5.xbm > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/opt61.xb= m > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/opt62.xb= m > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/opt63.xb= m > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/parallel= .bitmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/partial.= bitmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/pelzel.b= itmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/phi-cap.= bitmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/phi.bitm= ap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/phi.xbm > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/pi-cap.b= itmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/pi.bitma= p > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/pi.xbm > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/pick.bit= map > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/pick_old= .bitmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/plusminu= s.xbm > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/prime.bi= tmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/prod.bit= map > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/psi-cap.= bitmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/psi.bitm= ap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/psi.xbm > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/px.bitma= p > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/py.bitma= p > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/quad.bit= map > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/quit.bit= map > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/return.b= itmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/return2.= bitmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/return3.= bitmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/rho.bitm= ap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/rho=3Dr.= bitmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/rhosq=3D= .bitmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/s13aaf.b= itmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/s13aaf1.= bitmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/s13aaf2.= bitmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/s13acf.b= itmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/s13adf.b= itmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/s14baf.b= itmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/s15adf.b= itmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/s15aef.b= itmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/s17acf.b= itmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/s17adf.b= itmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/s17aef.b= itmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/s17aef1.= bitmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/s17aff.b= itmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/s17aff1.= bitmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/s17dcf.b= itmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/s17def.b= itmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/s17dlf.b= itmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/s17dlf1.= bitmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/s17dlf2.= bitmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/s18acf.b= itmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/s18acf1.= bitmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/s18adf.b= itmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/s18adf1.= bitmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/s18aef.b= itmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/s18aef1.= bitmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/s18aff.b= itmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/s18aff1.= bitmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/s18dcf.b= itmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/s18def.b= itmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/s21baf.b= itmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/s21baf1.= bitmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/s21bbf.b= itmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/s21bbf1.= bitmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/s21bcf.b= itmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/s21bcf1.= bitmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/s21bdf.b= itmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/s21bdf1.= bitmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/sdown.bi= tmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/sdown3d.= bitmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/sdown3dp= r.bitmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/si-integ= ral.bitmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/sigma-ca= p.bitmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/sigma.bi= tmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/smile.bi= tmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/source.b= itmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/subtwo.b= itmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/sum.bitm= ap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/sup.bitm= ap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/sup3d.bi= tmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/sup3dpr.= bitmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/surd.bit= map > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/tau.bitm= ap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/tear.bit= map > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/theta-ca= p.bitmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/theta.bi= tmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/top.bitm= ap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/triangle= .bitmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/uij.bitm= ap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/uj.bitma= p > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/unpick.b= itmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/unpick_o= ld.bitmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/up.bitma= p > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/up2.bitm= ap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/up3.bitm= ap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/up3d.bit= map > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/up3di.bi= tmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/updots.b= itmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/upsilon-= cap.bitmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/upsilon.= bitmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/wr.bitma= p > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/x1.xbm > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/xbar.bit= map > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/xe.xbm > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/xi-cap.b= itmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/xi.bitma= p > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/xii.bitm= ap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/xiii.bit= map > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/xj.bitma= p > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/xmax.bit= map > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/xmin.bit= map > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/xq.bitma= p > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/xr.bitma= p > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/xs.xbm > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/y1.xbm > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/y2.xbm > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/y3.xbm > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/ye.xbm > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/yi.bitma= p > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/yr.bitma= p > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/ys.xbm > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/zeta.bit= map > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/zetak.bi= tmap > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps/zk.bitma= p > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/ALIST.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/ALIST.pht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/ANNA-ES.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/ANNA-ES.ph= t > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/ARRAY1.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/ARRAY1.pht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/ARRAY2.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/ARRAY2.pht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/BBTREE.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/BBTREE.pht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/BINARY.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/BINARY.pht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/BOP.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/BOP.pht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/BSTREE.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/BSTREE.pht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/CARD.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/CARD.pht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/CARTEN.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/CARTEN.pht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/CCLASS.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/CCLASS.pht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/CHAR.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/CHAR.pht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/CLIF.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/CLIF.pht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/COMPLEX.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/COMPLEX.ph= t > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/CONTFRAC.h= t > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/CONTFRAC.p= ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/CPHelp.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/CYCLES.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/CYCLES.pht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/DECIMAL.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/DECIMAL.ph= t > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/DERHAM.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/DERHAM.pht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/DFLOAT.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/DFLOAT.pht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/DMP.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/DMP.pht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/EQ.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/EQ.pht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/EQTBL.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/EQTBL.pht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/EXIT.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/EXIT.pht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/EXPR.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/EXPR.pht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/FARRAY.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/FARRAY.pht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/FILE.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/FILE.pht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/FLOAT.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/FLOAT.pht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/FNAME.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/FNAME.pht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/FPARFRAC.h= t > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/FPARFRAC.p= ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/FR.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/FR.pht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/FR2.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/FR2.pht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/FRAC.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/FRAC.pht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/GBF.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/GBF.pht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/GSTBL.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/GSTBL.pht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/HEAP.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/HEAP.pht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/HEXADEC.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/HEXADEC.ph= t > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/HTXAdvPage= 1.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/HTXAdvPage= 2.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/HTXAdvPage= 3.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/HTXAdvPage= 4.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/HTXAdvPage= 5.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/HTXAdvPage= 6.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/HTXAdvTopP= age.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/HTXFormatP= age1.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/HTXFormatP= age2.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/HTXFormatP= age3.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/HTXFormatP= age4.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/HTXFormatP= age5.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/HTXFormatP= age6.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/HTXFormatP= age7.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/HTXFormatP= age8.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/HTXFormatT= opPage.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/HTXIntroPa= ge1.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/HTXIntroPa= ge2.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/HTXIntroPa= ge3.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/HTXIntroTo= pPage.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/HTXLinkPag= e1.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/HTXLinkPag= e2.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/HTXLinkPag= e3.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/HTXLinkPag= e4.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/HTXLinkPag= e5.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/HTXLinkPag= e6.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/HTXLinkTop= Page.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/HTXTopPage= .ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/HTXTryPage= .ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/HTXplay.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/INT.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/INT.pht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/INTHEORY.h= t > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/INTHEORY.p= ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/KAFILE.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/KAFILE.pht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/KERNEL.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/KERNEL.pht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/LAZM3PK.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/LAZM3PK.ph= t > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/LEXP.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/LEXP.pht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/LEXTRIPK.h= t > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/LEXTRIPK.p= ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/LIB.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/LIB.pht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/LIST.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/LIST.pht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/LODO.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/LODO.pht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/LODO1.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/LODO1.pht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/LODO2.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/LODO2.pht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/LPOLY.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/LPOLY.pht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/LWORD.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/LWORD.pht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/Link.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/MAGMA.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/MAGMA.pht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/MAPPKG1.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/MAPPKG1.ph= t > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/MATRIX.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/MATRIX.pht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/MKFUNC.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/MKFUNC.pht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/MPOLY.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/MPOLY.pht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/MSET.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/MSET.pht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/NONE.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/NONE.pht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/OCT.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/OCT.pht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/ODPOL.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/ODPOL.pht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/OP.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/OP.pht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/OVAR.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/OVAR.pht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/PERMAN.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/PERMAN.pht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/PFR.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/PFR.pht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/POLY.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/POLY.pht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/QUAT.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/QUAT.pht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/RADIX.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/RADIX.pht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/RECLOS.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/RECLOS.pht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/REGSET.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/REGSET.pht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/ROMAN.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/ROMAN.pht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/SEG.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/SEG.pht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/SEGBIND.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/SEGBIND.ph= t > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/SET.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/SET.pht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/SINT.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/SINT.pht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/SQMATRIX.h= t > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/SQMATRIX.p= ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/SREGSET.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/SREGSET.ph= t > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/STBL.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/STBL.pht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/STREAM.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/STREAM.pht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/STRING.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/STRING.pht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/STRTBL.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/STRTBL.pht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/SYMBOL.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/SYMBOL.pht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/TABLE.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/TABLE.pht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/TEXTFILE.h= t > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/TEXTFILE.p= ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/UNISEG.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/UNISEG.pht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/UP.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/UP.pht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/VECTOR.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/VECTOR.pht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/VOID.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/VOID.pht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/WUTSET.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/WUTSET.pht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/XPBWPOLY.h= t > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/XPBWPOLY.p= ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/XPOLY.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/XPOLY.pht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/XPR.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/XPR.pht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/ZDSOLVE.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/ZDSOLVE.ph= t > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/ZLINDEP.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/ZLINDEP.ph= t > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/algebra.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/aspex.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/basic.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/bmcat.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/coverex.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/coverex.ph= t > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/evalex.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/evalex.pht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/exdiff.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/exdiff.pht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/exint.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/exint.pht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/exlap.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/exlap.pht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/exlimit.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/exlimit.ph= t > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/exmatrix.h= t > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/exmatrix.p= ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/explot2d.h= t > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/explot2d.p= ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/explot3d.h= t > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/explot3d.p= ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/expose.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/exseries.h= t > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/exseries.p= ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/exsum.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/exsum.pht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/function.h= t > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/function.p= ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/gloss.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/graphics.h= t > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/graphics.p= ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/grpthry.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/grpthry.ph= t > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/help.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/ht.db > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/hyperdoc.h= t > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/man0.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/mapping.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/nagaux.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/nagc.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/nagd.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/nage.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/nagf.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/nagm.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/nags.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/nagx.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/newuser.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/numbers.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/numbers.ph= t > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/patch.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/polys.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/polys.pht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/record.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/releaseNot= es.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/rootpage.h= t > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/srchkey.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/topics.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/type.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/ug.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/ug00.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/ug01.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/ug01.pht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/ug02.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/ug02.pht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/ug03.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/ug03.pht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/ug04.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/ug04.pht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/ug05.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/ug05.pht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/ug06.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/ug06.pht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/ug07.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/ug07.pht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/ug08.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/ug08.pht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/ug10.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/ug10.pht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/ug11.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/ug11.pht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/ug12.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/ug12.pht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/ug13.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/ug13.pht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/ug14.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/ug15.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/ug15.pht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/ug16.ht > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/pages/ug21.ht > 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%%/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 > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/algcat.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/algext.spad > 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 > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/cden.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/clifford.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/clip.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/cmplxrt.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/coerce.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/color.spad > 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 > 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 > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/defintrf.spad > 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/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 > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/eigen.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/elemntry.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/elfuts.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/equation1.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/equation2.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/error.spad > 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 > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/fff.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/ffhom.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/ffnb.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/ffp.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/ffpoly.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/ffpoly2.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/ffx.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/files.spad > 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 > 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 > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/fr.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/fraction.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/free.spad > 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 > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/galutil.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/gaussfac.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/gaussian.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/gb.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/gbeuclid.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/gbintern.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/gdirprod.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/gdpoly.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/geneez.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/generic.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/genufact.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/genups.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/ghensel.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/gpgcd.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/gpol.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/grdef.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/groebf.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/groebsol.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/gseries.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/ideal.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/idecomp.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/indexedp.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/infprod.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/intaf.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/intalg.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/intaux.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/intclos.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/intef.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/integer.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/integrat.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/interval.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/intfact.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/intpm.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/intrf.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/irexpand.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/irsn.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/ituple.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/kl.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/kovacic.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/laplace.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/laurent.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/leadcdet.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/lie.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/limitps.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/lindep.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/lingrob.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/liouv.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/list.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/listgcd.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/lmdict.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/lodo.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/lodof.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/lodop.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/manip.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/mappkg.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/matcat.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/matfuns.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/mathml.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/matrix.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/matstor.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/mesh.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/mfinfact.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/misc.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/mkfunc.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/mkrecord.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/mlift.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/moddfact.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/modgcd.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/modmon.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/modmonom.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/modring.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/moebius.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/mring.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/mset.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/mts.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/multfact.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/multpoly.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/multsqfr.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/naalg.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/naalgc.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/newdata.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/newpoint.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/newpoly.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/nlinsol.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/nlode.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/npcoef.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/nregset.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/nsregset.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/numeigen.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/numeric.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/numode.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/numquad.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/numsolve.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/numtheor.spad > 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 > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/pade.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/padic.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/padiclib.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/paramete.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/partperm.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/patmatch1.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/patmatch2.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/pattern.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/pcurve.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/pdecomp.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/perm.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/perman.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/permgrps.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/pf.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/pfbr.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/pfo.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/pfr.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/pgcd.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/pgrobner.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/pinterp.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/pleqn.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/plot.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/plot3d.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/plottool.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/polset.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/poltopol.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/poly.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/polycat.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/primelt.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/print.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/product.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/prs.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/prtition.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/pscat.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/pseudolin.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/ptranfn.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/puiseux.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/qalgset.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/quat.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/radeigen.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/radix.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/random.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/ratfact.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/rdeef.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/rderf.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/rdesys.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/real0q.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/realzero.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/reclos.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/regset.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/rep1.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/rep2.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/resring.spad > 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 > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/sex.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/sf.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/sgcf.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/si.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/sign.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/smith.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/solvedio.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/solvefor.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/solvelin.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/solverad.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/sortpak.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/space.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/special.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/sregset.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/stream.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/string.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/sttaylor.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/sttf.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/sturm.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/suchthat.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/suls.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/sum.spad > 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/syssolp.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/system.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/table.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/tableau.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/taylor.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/tex.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/tools.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/transsolve.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/tree.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/trigcat.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/triset.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/tube.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/twofact.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/unifact.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/updecomp.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/updivp.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/utsode.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/variable.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/vector.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/view2D.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/view3D.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/viewDef.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/viewpack.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/void.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/weier.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/wtpol.spad > lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra/xlpoly.spad > 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 > @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%%/input > @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 > @dirrm lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/lib/graph > @dirrm lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/lib > @dirrm lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/share/hypertex/bitmaps > @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 > @dirrm lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src/algebra > @dirrm lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%%/src > @dirrm lib/open-axiom/%%GNU_HOST%%/%%AXIOM_VER%% > @dirrm lib/open-axiom/%%GNU_HOST%% > @dirrm lib/open-axiom --=20 Pav Lucistnik <pav@oook.cz> <pav@FreeBSD.org> One Unix to rule them all, One Resolver to find them, One IP to bring them all and in the zone to bind them. --=-3F2EQVbNOqZpgVk04NKF Content-Type: application/pgp-signature; name="signature.asc" Content-Description: Toto je =?UTF-8?Q?digit=C3=A1ln=C4=9B?= =?ISO-8859-1?Q?_podepsan=E1?= =?UTF-8?Q?_=C4=8D=C3=A1st?= =?ISO-8859-1?Q?_zpr=E1vy?= -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.9 (FreeBSD) iEYEABECAAYFAknMCBUACgkQntdYP8FOsoKcTACeNSANzp0iVDP+1HYshEx4gfLs 94sAoMjWesuRfzmr/8l5b7Imun1N8cTt =rCu2 -----END PGP SIGNATURE----- --=-3F2EQVbNOqZpgVk04NKF--
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?1238108181.268.2.camel>