remove pamphlets - part 4

13 files changed, 139 insertions, 461 deletions

diff --git a/src/interp/axext_l.lisp.pamphlet b/src/interp/axext_l.lisp
index 3d03127c..7663eff6 100644
--- a/src/interp/axext_l.lisp.pamphlet
+++ b/src/interp/axext_l.lisp
@@ -1,23 +1,3 @@
-%% Oh Emacs, this is a -*- Lisp -*- file despite apperance.
-\documentclass{article}
-\usepackage{axiom}
-
-\title{\File{src/interp/axext\_l.lisp} Pamphlet}
-\author{Timothy Daly}
-
-\begin{document}
-\maketitle
-
-\begin{abstract}
-\end{abstract}
-
-
-\tableofcontents
-\eject
-
-\section{License}
-
-<<license>>=
 ;; Copyright (c) 1991-2002, The Numerical ALgorithms Group Ltd.
 ;; All rights reserved.
 ;;
@@ -49,9 +29,6 @@
 ;; NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
 ;; SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
 
-@
-<<*>>=
-<<license>>
 
 ;; File containing primitives needed by exextend in order to interop with axiom
 ;; This file could do with some declares
@@ -62,7 +39,7 @@
 
 (defun H-integer (l e)
   (|AXL-LiteralToInteger| l))
-	
+        
 (defun  H-string (l e)
   (|AXL-LiteralToString| l))
 
@@ -70,9 +47,9 @@
   (|AXL-error| l))
 
 (eval-when (load eval)
-	   (defconstant |G-axclique_string_305639517| (cons #'H-String nil))
-	   (defconstant |G-axclique_integer_685864888| (cons #'H-integer nil))
-	   (defconstant |G-axclique_error_011667951| (cons #'H-error nil)))
+           (defconstant |G-axclique_string_305639517| (cons #'H-String nil))
+           (defconstant |G-axclique_integer_685864888| (cons #'H-integer nil))
+           (defconstant |G-axclique_error_011667951| (cons #'H-error nil)))
 
 ;; Literals should be null-terminated strings
 
@@ -86,7 +63,7 @@
 
 (defmacro |AXL-LiteralToDoubleFloat| (l)
   `(read-from-string ,l nil (|DFlo0|)
-		     :preserve-whitespace t))
+                     :preserve-whitespace t))
 
 (defmacro |AXL-LiteralToString| (l)
   `(subseq ,l 0 (- (length ,l) 1)))
@@ -105,15 +82,15 @@
 
 (defmacro |AXL-plusInteger| (a b)
   `(the |BInt| (+ (the |BInt| ,a)
-		  (the |BInt| ,b))))
+                  (the |BInt| ,b))))
 
 (defmacro |AXL-minusInteger| (a b)
   `(the |BInt| (- (the |BInt| ,a)
-		  (the |BInt| ,b))))
+                  (the |BInt| ,b))))
 
 (defmacro |AXL-timesInteger| (a b)
   `(the |BInt| (* (the |BInt| ,a)
-		  (the |BInt| ,b))))
+                  (the |BInt| ,b))))
 
 (defmacro |AXL-eqInteger| (a b)
   `(= (the |BInt| ,a)
@@ -137,15 +114,15 @@
 
 (defmacro |AXL-plusSingleInteger| (a b)
   `(the |SInt| (+ (the |SInt| ,a)
-		  (the |SInt| ,b))))
+                  (the |SInt| ,b))))
 
 (defmacro |AXL-minusSingleInteger| (a b)
   `(the |SInt| (- (the |SInt| ,a)
-		  (the |SInt| ,b))))
+                  (the |SInt| ,b))))
 
 (defmacro |AXL-timesSingleInteger| (a b)
   `(the |SInt| (* (the |SInt| ,a)
-		  (the |SInt| ,b))))
+                  (the |SInt| ,b))))
 
 (defmacro |AXL-eqSingleInteger| (a b)
   `(= (the |SInt| ,a)
@@ -222,9 +199,3 @@
 (defun |AXL-spitSInt| (x)
   (print x))
 
-@
-\eject
-\begin{thebibliography}{99}
-\bibitem{1} nothing
-\end{thebibliography}
-\end{document}
diff --git a/src/interp/bc-matrix.boot.pamphlet b/src/interp/bc-matrix.boot
index 008722a6..bdfcbb9f 100644
--- a/src/interp/bc-matrix.boot.pamphlet
+++ b/src/interp/bc-matrix.boot
@@ -1,16 +1,3 @@
-\documentclass{article}
-\usepackage{axiom}
-\begin{document}
-\title{\$SPAD/src/interp bc-matrix.boot}
-\author{The Axiom Team}
-\maketitle
-\begin{abstract}
-\end{abstract}
-\eject
-\tableofcontents
-\eject
-\section{License}
-<<license>>=
 -- Copyright (c) 1991-2002, The Numerical ALgorithms Group Ltd.
 -- All rights reserved.
 --
@@ -42,9 +29,6 @@
 -- NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
 -- SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
 
-@
-<<*>>=
-<<license>>
 
 -- Basic Command matrix entry
 
@@ -167,9 +151,3 @@ bcMatrixGen htPage ==
     STRCONC('"matrix(",matstring,'")")
   systemError nil
   
-@
-\eject
-\begin{thebibliography}{99}
-\bibitem{1} nothing
-\end{thebibliography}
-\end{document}
diff --git a/src/interp/bc-misc.boot.pamphlet b/src/interp/bc-misc.boot
index 8e879add..9a39697c 100644
--- a/src/interp/bc-misc.boot.pamphlet
+++ b/src/interp/bc-misc.boot
@@ -1,16 +1,3 @@
-\documentclass{article}
-\usepackage{axiom}
-\begin{document}
-\title{\$SPAD/src/interp bc-misc.boot}
-\author{The Axiom Team}
-\maketitle
-\begin{abstract}
-\end{abstract}
-\eject
-\tableofcontents
-\eject
-\section{License}
-<<license>>=
 -- Copyright (c) 1991-2002, The Numerical ALgorithms Group Ltd.
 -- All rights reserved.
 --
@@ -42,9 +29,6 @@
 -- NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
 -- SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
 
-@
-<<*>>=
-<<license>>
 
 --Hypertex commands other than solve and matrix
 
@@ -938,9 +922,3 @@ bcComplexLimitGen htPage ==
   bcFinish('"complexLimit",fun,varPart)
 
 
-@
-\eject
-\begin{thebibliography}{99}
-\bibitem{1} nothing
-\end{thebibliography}
-\end{document}
diff --git a/src/interp/bc-solve.boot.pamphlet b/src/interp/bc-solve.boot
index 56314441..e3f6f99b 100644
--- a/src/interp/bc-solve.boot.pamphlet
+++ b/src/interp/bc-solve.boot
@@ -1,16 +1,3 @@
-\documentclass{article}
-\usepackage{axiom}
-\begin{document}
-\title{\$SPAD/src/interp bc-solve.boot}
-\author{The Axiom Team}
-\maketitle
-\begin{abstract}
-\end{abstract}
-\eject
-\tableofcontents
-\eject
-\section{License}
-<<license>>=
 -- Copyright (c) 1991-2002, The Numerical ALgorithms Group Ltd.
 -- All rights reserved.
 --
@@ -42,9 +29,6 @@
 -- NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
 -- SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
 
-@
-<<*>>=
-<<license>>
 
   -- HyperTeX basic Solve Command
 $systemType := nil
@@ -159,8 +143,8 @@ bcInputEquations(htPage,solutionMethod) ==
       lnam := INTERN STRCONC('"l",STRINGIMAGE i)
       rnam := INTERN STRCONC('"r",STRINGIMAGE i)
       var:= 
-	linearp => bcMakeLinearEquations(i,n)
-	bcMakeEquations(i,n)
+        linearp => bcMakeLinearEquations(i,n)
+        bcMakeEquations(i,n)
       [['text,:prefix],['bcStrings,[30,var,lnam,'P]],'(text . " = "),['bcStrings,[5,"0",rnam,'P]]]
   equationPart := [
      '(domainConditions 
@@ -202,18 +186,18 @@ bcMakeEquations(i,number)==
    STRCONC(
      STRCONC(
       APPLY('CONCAT,[STRCONC(bcCreateVariableString(j),"+") for j in 1..number]),"1"),
-	STRCONC("-2*",STRCONC(bcCreateVariableString(i),"^2")))
+        STRCONC("-2*",STRCONC(bcCreateVariableString(i),"^2")))
 
 
 bcMakeLinearEquations(i,number)==
    number = 1 => bcCreateVariableString(1)
    number = 2 => 
-	i=1 => STRCONC(bcCreateVariableString(1),STRCONC("+",bcCreateVariableString(2)))
-	STRCONC(bcCreateVariableString(1),STRCONC("-",bcCreateVariableString(2)))
+        i=1 => STRCONC(bcCreateVariableString(1),STRCONC("+",bcCreateVariableString(2)))
+        STRCONC(bcCreateVariableString(1),STRCONC("-",bcCreateVariableString(2)))
    STRCONC(
      STRCONC(
       APPLY('CONCAT,[STRCONC(bcCreateVariableString(j),"+") for j in 1..number]),"1"),
-	STRCONC("-2*",bcCreateVariableString(i)))
+        STRCONC("-2*",bcCreateVariableString(i)))
       
 
 bcInputEquationsEnd htPage ==
@@ -376,9 +360,3 @@ bcGenEquations alist ==
 
 
 
-@
-\eject
-\begin{thebibliography}{99}
-\bibitem{1} nothing
-\end{thebibliography}
-\end{document}
diff --git a/src/interp/bc-util.boot.pamphlet b/src/interp/bc-util.boot
index 56287145..211f7cf0 100644
--- a/src/interp/bc-util.boot.pamphlet
+++ b/src/interp/bc-util.boot
@@ -1,16 +1,3 @@
-\documentclass{article}
-\usepackage{axiom}
-\begin{document}
-\title{\$SPAD/src/interp bc-util.boot}
-\author{The Axiom Team}
-\maketitle
-\begin{abstract}
-\end{abstract}
-\eject
-\tableofcontents
-\eject
-\section{License}
-<<license>>=
 -- Copyright (c) 1991-2002, The Numerical ALgorithms Group Ltd.
 -- All rights reserved.
 --
@@ -42,9 +29,6 @@
 -- NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
 -- SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
 
-@
-<<*>>=
-<<license>>
 
 bcFinish(name,arg,:args) == bcGen bcMkFunction(name,arg,args)
 
@@ -139,9 +123,3 @@ stringList2String x ==
 
 htMkName(s,n) == STRCONC(s,STRINGIMAGE n)
 
-@
-\eject
-\begin{thebibliography}{99}
-\bibitem{1} nothing
-\end{thebibliography}
-\end{document}
diff --git a/src/interp/br-con.boot.pamphlet b/src/interp/br-con.boot
index 7c7dec66..6add1a9a 100644
--- a/src/interp/br-con.boot.pamphlet
+++ b/src/interp/br-con.boot
@@ -1,20 +1,3 @@
-\documentclass{article}
-\usepackage{axiom}
-
-\title{\File{src/interp/br-con.boot} Pamphlet}
-\author{The Axiom Team}
-
-\begin{document}
-\maketitle
-\begin{abstract}
-\end{abstract}
-\eject
-\tableofcontents
-\eject
-
-\section{License}
-
-<<license>>=
 -- Copyright (c) 1991-2002, The Numerical ALgorithms Group Ltd.
 -- All rights reserved.
 --
@@ -46,9 +29,6 @@
 -- NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
 -- SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
 
-@
-<<*>>=
-<<license>>
 
 --====================> WAS b-con.boot <================================
 
@@ -1339,7 +1319,7 @@ PUT('Union,'documentation,SUBST(MESSAGE,'MESSAGE,'(
     "\spad{u = v} tests if two objects of the union are equal, that is, \spad{u} and \spad{v} are objects of same branch which are equal."))
   (case (((Boolean) $ "A")
     "\spad{u case a} tests if \spad{u} is of branch \spad{a} of the union.")
-	        (((Boolean) $ "B")
+                (((Boolean) $ "B")
     "\spad{u case b} tests if \spad{u} is of branch \spad{b} of the union."))
   (coerce ((A $)
     "\spad{coerce(u)} returns \spad{x} of type \spad{A} if \spad{x} is of branch \spad{a} of the union. Error: if \spad{u} is of branch \spad{b} of the union.")
@@ -1399,9 +1379,3 @@ digits2Names s ==
       c
     CONCAT(str, segment)
   str
-@
-\eject
-\begin{thebibliography}{99}
-\bibitem{1} nothing
-\end{thebibliography}
-\end{document}
diff --git a/src/interp/br-data.boot.pamphlet b/src/interp/br-data.boot
index a5490ee7..98d35349 100644
--- a/src/interp/br-data.boot.pamphlet
+++ b/src/interp/br-data.boot
@@ -1,20 +1,3 @@
-\documentclass{article}
-\usepackage{axiom}
-
-\title{\File{src/interp/br-data.boot} Pamphlet}
-\author{The Axiom Team}
-
-\begin{document}
-\maketitle
-\begin{abstract}
-\end{abstract}
-\eject
-\tableofcontents
-\eject
-
-\section{License}
-
-<<license>>=
 -- Copyright (c) 1991-2002, The Numerical ALgorithms Group Ltd.
 -- All rights reserved.
 --
@@ -46,9 +29,6 @@
 -- NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
 -- SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
 
-@
-<<*>>=
-<<license>>
 
 lefts u ==
    [x for x in HKEYS  _*HASCATEGORY_-HASH_* | CDR x = u]
@@ -801,9 +781,3 @@ purgeLocalLibdb() ==   --used for debugging purposes only
   obey '"rm libdb.text"
 
 
-@
-\eject
-\begin{thebibliography}{99}
-\bibitem{1} nothing
-\end{thebibliography}
-\end{document}
diff --git a/src/interp/br-op1.boot.pamphlet b/src/interp/br-op1.boot
index aea5b89b..4eedf3c9 100644
--- a/src/interp/br-op1.boot.pamphlet
+++ b/src/interp/br-op1.boot
@@ -1,20 +1,3 @@
-\documentclass{article}
-\usepackage{axiom}
-
-\title{\File{src/interp/br-op1.boot} Pamphlet}
-\author{The Axiom Team}
-
-\begin{document}
-\maketitle
-\begin{abstract}
-\end{abstract}
-\eject
-\tableofcontents
-\eject
-
-\section{License}
-
-<<license>>=
 -- Copyright (c) 1991-2002, The Numerical ALgorithms Group Ltd.
 -- All rights reserved.
 --
@@ -46,9 +29,6 @@
 -- NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
 -- SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
 
-@
-<<*>>=
-<<license>>
 
 --====================> WAS b-op1.boot <================================
 
@@ -1153,9 +1133,3 @@ evalDomainOpPred(dom,pred) == process(dom,pred) where
     systemError '"unknown atomic predicate form"
 
 
-@
-\eject
-\begin{thebibliography}{99}
-\bibitem{1} nothing
-\end{thebibliography}
-\end{document}
diff --git a/src/interp/br-op2.boot.pamphlet b/src/interp/br-op2.boot
index 3fca3f73..b63519d8 100644
--- a/src/interp/br-op2.boot.pamphlet
+++ b/src/interp/br-op2.boot
@@ -1,20 +1,3 @@
-\documentclass{article}
-\usepackage{axiom}
-
-\title{\File{src/interp/br-op2.boot} Pamphlet}
-\author{The Axiom Team}
-
-\begin{document}
-\maketitle
-\begin{abstract}
-\end{abstract}
-\eject
-\tableofcontents
-\eject
-
-\section{License}
-
-<<license>>=
 -- Copyright (c) 1991-2002, The Numerical ALgorithms Group Ltd.
 -- All rights reserved.
 --
@@ -46,31 +29,28 @@
 -- NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
 -- SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
 
-@
-<<*>>=
-<<license>>
 
 --====================> WAS br-op2.boot <================================
 
 --=======================================================================
---		     Operation Description
+--                   Operation Description
 --=======================================================================
 
 displayDomainOp(htPage,which,origin,op,sig,predicate,
-		doc,index,chooseFn,unexposed?,$generalSearch?) ==
+                doc,index,chooseFn,unexposed?,$generalSearch?) ==
 -----------------------> OBSELETE
   $saturn =>
     displayDomainOp1(htPage,which,origin,op,sig,predicate,
-		doc,index,chooseFn,unexposed?,$generalSearch?)
-  $chooseDownCaseOfType : local := true	  --see dbGetContrivedForm
+                doc,index,chooseFn,unexposed?,$generalSearch?)
+  $chooseDownCaseOfType : local := true   --see dbGetContrivedForm
   $whereList  : local := nil
   $NumberList : local := '(i j k l m n i1 j1 k1 l1 m1 n1 i2 j2 k2 l2 m2 n2 i3 j3 k3 l3 m3 n3 i4 j4 k4 l4 m4 n4 )
   $ElementList: local := '(x y z u v w x1 y1 z1 u1 v1 w1 x2 y2 z2 u2 v2 w2 x3 y3 z3 u3 v3 w3 x4 y4 z4 u4 v4 w4 )
   $FunctionList:local := '(f g h d e F G H)
-  $DomainList:	local := '(D R S E T A B C M N P Q U V W)
+  $DomainList:  local := '(D R S E T A B C M N P Q U V W)
   exactlyOneOpSig     := null index
   conform   := htpProperty(htPage,'domname) or htpProperty(htPage,'conform)
-		 or origin
+                 or origin
   if $generalSearch? then $DomainList := rest $DomainList
   opform :=
     which = '"attribute" =>
@@ -105,7 +85,7 @@ displayDomainOp(htPage,which,origin,op,sig,predicate,
   constring := form2HtString conform
   conname   := first conform
   $conkind   : local := htpProperty(htPage,'kind) -- a string e.g. "category"
-			  or STRINGIMAGE GETDATABASE(conname,'CONSTRUCTORKIND)
+                          or STRINGIMAGE GETDATABASE(conname,'CONSTRUCTORKIND)
   $conlength : local := #constring
   $conform   : local := conform
   $conargs   : local := rest conform
@@ -131,11 +111,11 @@ displayDomainOp(htPage,which,origin,op,sig,predicate,
       htSayStandard '"\tab{2}"
       htSay '"{\em Arguments:}"
       for a in args for t in rest $sig repeat
-	htSayIndentRel(15,true)
-	htSay('"{\em ",form2HtString(a),'"}, ")
-	htSayValue t
-	htSayIndentRel(-15,true)
-	htSay('"\newline ")
+        htSayIndentRel(15,true)
+        htSay('"{\em ",form2HtString(a),'"}, ")
+        htSayValue t
+        htSayIndentRel(-15,true)
+        htSay('"\newline ")
     if first $sig then
       $displayReturnValue := true
       htSay('"\newline\tab{2}{\em Returns:}")
@@ -166,8 +146,8 @@ displayDomainOp(htPage,which,origin,op,sig,predicate,
       htSayStandard '"{\em \$} is "
       htSaySaturn '"{\em \%} is "
       htSay
-	$conkind = '"category" => '"of category "
-	'"the domain "
+        $conkind = '"category" => '"of category "
+        '"the domain "
       bcConform(conform,true,true)
       htSayIndentRel(-15,true)
     for [d,key,:t] in $whereList | d ^= "$" repeat
@@ -218,11 +198,11 @@ htSayConstructor(key,u) ==
       htSay '"categories "
       bcConform(first middle,true)
       for x in rest middle repeat
-	htSay '", "
-	bcConform(x,true)
+        htSay '", "
+        bcConform(x,true)
       r is ['CATEGORY,.,:r] =>
-	htSay '" and "
-	htSayExplicitExports(r)
+        htSay '" and "
+        htSayExplicitExports(r)
       htSay '" and "
       bcConform(r,true)
     htSay '"category "
@@ -267,7 +247,7 @@ htSayValue t ==
   t is [op,:.] and MEMQ(op,'(Join CATEGORY)) or constructor? opOf t =>
     htSayConstructor(nil,t)
   htSay('"an element of domain ")
-  htSayArgument t			     --continue for operations
+  htSayArgument t                            --continue for operations
 
 htSayArgument t == --called only for operations not for constructors
   null $signature => htSay ['"{\em ",t,'"}"]
@@ -318,7 +298,7 @@ dbMakeContrivedForm(op,sig,:options) ==
   $NumberList : local := '(i j k l m n i1 j1 k1 l1 m1 n1 i2 j2 k2 l2 m2 n2 i3 j3 k3 l3 m3 n3 i4 j4 k4 l4 m4 n4 )
   $ElementList: local := '(x y z u v w x1 y1 z1 u1 v1 w1 x2 y2 z2 u2 v2 w2 x3 y3 z3 u3 v3 w3 x4 y4 z4 u4 v4 w4 )
   $FunctionList:local := '(f g h d e F G H)
-  $DomainList:	local := '(R S D E T A B C M N P Q U V W)
+  $DomainList:  local := '(R S D E T A B C M N P Q U V W)
   dbGetContrivedForm(op,sig)
 
 dbGetContrivedForm(op,sig) ==
@@ -343,10 +323,10 @@ dbChooseOperandName(typ) ==
       x
     x :=
       $chooseDownCaseOfType =>
-	y := DOWNCASE typ
-	x :=
-	  member(y,$ElementList) => y
-	  first $ElementList
+        y := DOWNCASE typ
+        x :=
+          member(y,$ElementList) => y
+          first $ElementList
       first $ElementList
     $ElementList := delete(x,$ElementList)
     x
@@ -386,12 +366,12 @@ getSubstSignature sig ==
       null rest candidates => newsig
       count := NUMOFNODES newsig
       for x in rest candidates repeat
-	trial := fullSubstitute(D,x,sig)
-	trialCount := NUMOFNODES trial
-	trialCount < count =>
-	  newsig := trial
-	  count	 := trialCount
-	  winner := x
+        trial := fullSubstitute(D,x,sig)
+        trialCount := NUMOFNODES trial
+        trialCount < count =>
+          newsig := trial
+          count  := trialCount
+          winner := x
       newsig
     addWhereList(D,'is,winner)
     newsig
@@ -409,7 +389,7 @@ getSubstInsert(x,candidates) ==
 
 
 --=======================================================================
---			Who Uses
+--                      Who Uses
 --=======================================================================
 whoUsesOperation(htPage,which,key) ==  --see dbPresentOps
   key = 'filter => koaPageFilterByName(htPage,'whoUsesOperation)
@@ -465,7 +445,7 @@ whoUses(opSigList,conform) ==
   hash := MAKE_-HASH_-TABLE()
   for name in allConstructors() | MEMQ(name,domList) repeat
     $infovec : local := dbInfovec name
-    null $infovec => 'skip	     --category
+    null $infovec => 'skip           --category
     template := $infovec . 0
     found := false
     opacc := nil
@@ -480,7 +460,7 @@ whoUses(opSigList,conform) ==
       template . whereNumber isnt [= $conname,:.] => 'skip
       signumList := dcSig(numvec,index + 1,numOfArgs)
       opsig := or/[pair for (pair := [op1,:sig]) in opSigList | op1 = op and whoUsesMatch?(signumList,sig,nil)]
-	=> opacc := [opsig,:opacc]
+        => opacc := [opsig,:opacc]
     if opacc then acc := [[name,:opacc],:acc]
   acc
 
@@ -499,7 +479,7 @@ whoUsesMatch1?(signumList,sig,al) ==
   true
 
 --=======================================================================
---		     Get Attribute/Operation Alist
+--                   Get Attribute/Operation Alist
 --=======================================================================
 
 koAttrs(conform,domname) ==
@@ -532,15 +512,15 @@ koOps(conform,domname,:options) == main where
 --    if relatives? then
 --      relatives := relativesOf(conform,domname)
 --      if domname then relatives :=
---	SUBLISLIS([domname,:rest domname],['_$,:rest conform],relatives)
+--      SUBLISLIS([domname,:rest domname],['_$,:rest conform],relatives)
 --      --kill all relatives that have a sharp variable remaining in them
 --      for x in relatives repeat
---	or/[y for y in CDAR x | isSharpVar y] => 'skip
---	acc := [x,:acc]
+--      or/[y for y in CDAR x | isSharpVar y] => 'skip
+--      acc := [x,:acc]
 --      relatives := NREVERSE acc
 --      for (pair := [pakform,:.]) in relatives repeat
---	$packageItem := sublisFormal(rest conform,pair)
---	ours := merge(fn(pakform,nil),ours)
+--      $packageItem := sublisFormal(rest conform,pair)
+--      ours := merge(fn(pakform,nil),ours)
     listSort(function GLESSEQP,trim ours)
   trim u == [pair for pair in u | IFCDR pair]
   fn(conform,domname) ==
@@ -550,7 +530,7 @@ koOps(conform,domname,:options) == main where
     ----------> new <------------------
     u := koCatOps(conform,domname) => u
 --    'category = GETDATABASE(conname,'CONSTRUCTORKIND) =>
---	  koCatOps(conform,domname)
+--        koCatOps(conform,domname)
     asharpConstructorName? opOf conform => nil
     ----------> new <------------------
     $infovec: local := dbInfovec conname--------> removed 94/10/24
@@ -562,15 +542,15 @@ koOps(conform,domname,:options) == main where
       op1 := zeroOneConvert op
       acc :=
        [[op1,:[[sig,npred,:exposureTail] for [sig,slot,pred,key,:.] in sublisFormal(subargs,u) |
-	 (key ^= 'Subsumed) and (npred := simpHasPred pred)]],:acc]
+         (key ^= 'Subsumed) and (npred := simpHasPred pred)]],:acc]
     acc
   merge(alist,alist1) == --alist1 takes precedence
     for [op,:al] in alist1 repeat
       u := LASSOC(op,alist) =>
-	for [sig,:item] in al | not LASSOC(sig,u) repeat
-	  u := insertAlist(sig,item,u)
-	alist := insertAlist(op,u,DELASC(op,alist)) --add the merge of two alists
-      alist := insertAlist(op,al,alist)	 --add the whole inner alist
+        for [sig,:item] in al | not LASSOC(sig,u) repeat
+          u := insertAlist(sig,item,u)
+        alist := insertAlist(op,u,DELASC(op,alist)) --add the merge of two alists
+      alist := insertAlist(op,al,alist)  --add the whole inner alist
     alist
 
 zeroOneConvert x ==
@@ -628,12 +608,12 @@ koCatAttrsAdd(catform,pred) ==
         then HPUT($if,name,[[argl,simpHasPred npred],:exists])
 
 --=======================================================================
---	      Filter by Category
+--            Filter by Category
 --=======================================================================
 
 koaPageFilterByCategory(htPage,calledFrom) ==
   opAlist := htpProperty(htPage,'opAlist)
-  which	  := htpProperty(htPage,'which)
+  which   := htpProperty(htPage,'which)
   page := htInitPageNoScroll(htCopyProplist htPage,
              dbHeading(opAlist,which,htpProperty(htPage,'heading)))
   htSay('"Select a category ancestor below or ")
@@ -665,7 +645,7 @@ koaPageFilterByCategory1(htPage,i) ==
   ancestor := htpProperty(htPage,'ancestors) . i
   ancestorList := [ancestor,:ASSOCLEFT ancestorsOf(ancestor,nil)]
   newOpAlist := nil
-  which	   := htpProperty(htPage,'which)
+  which    := htpProperty(htPage,'which)
   opAlist  := htpProperty(htPage,'opAlist)
   domname  := htpProperty(htPage,'domname)
   conform  := htpProperty(htPage,'conform)
@@ -674,15 +654,15 @@ koaPageFilterByCategory1(htPage,i) ==
   for [op,:alist] in opAlist repeat
     nalist := [[origin,:item] for item in alist | split]
       where split ==
-	[sig,pred,:aux] := item
-	u := dbGetDocTable(op,sig,docTable,which,aux)
-	origin := IFCAR u
-	doc    := IFCDR u
-	true
+        [sig,pred,:aux] := item
+        u := dbGetDocTable(op,sig,docTable,which,aux)
+        origin := IFCAR u
+        doc    := IFCDR u
+        true
     for [origin,:item] in nalist | origin repeat
       member(origin,ancestorList) =>
-	newEntry   := [item,:LASSOC(op,newOpAlist)]
-	newOpAlist := insertAlist(op,newEntry,newOpAlist)
+        newEntry   := [item,:LASSOC(op,newOpAlist)]
+        newOpAlist := insertAlist(op,newEntry,newOpAlist)
   falist := nil
   for [op,:alist] in newOpAlist repeat
     falist := [[op,:NREVERSE alist],:falist]
@@ -690,7 +670,7 @@ koaPageFilterByCategory1(htPage,i) ==
   dbShowOperationsFromConform(htPage,which,falist)
 
 --=======================================================================
---	     New code for search operation alist for exact matches
+--           New code for search operation alist for exact matches
 --=======================================================================
 
 opPageFast opAlist == --called by oSearch
@@ -782,9 +762,3 @@ pairlis(u,v) ==
 
 
 
-@
-\eject
-\begin{thebibliography}{99}
-\bibitem{1} nothing
-\end{thebibliography}
-\end{document}
diff --git a/src/interp/br-prof.boot.pamphlet b/src/interp/br-prof.boot
index cf1d0e58..3db37c6e 100644
--- a/src/interp/br-prof.boot.pamphlet
+++ b/src/interp/br-prof.boot
@@ -1,16 +1,3 @@
-\documentclass{article}
-\usepackage{axiom}
-\begin{document}
-\title{\$SPAD/src/interp br-prof.boot}
-\author{The Axiom Team}
-\maketitle
-\begin{abstract}
-\end{abstract}
-\eject
-\tableofcontents
-\eject
-\section{License}
-<<license>>=
 -- Copyright (c) 1991-2002, The Numerical ALgorithms Group Ltd.
 -- All rights reserved.
 --
@@ -42,10 +29,6 @@
 -- NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
 -- SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
 
-@
-
-<<*>>=
-<<license>>
 
 --====================> WAS b-prof.boot <================================
 
@@ -280,9 +263,3 @@ getInfoAlist conname ==
 
 
 
-@
-\eject
-\begin{thebibliography}{99}
-\bibitem{1} nothing
-\end{thebibliography}
-\end{document}
diff --git a/src/interp/br-saturn.boot.pamphlet b/src/interp/br-saturn.boot
index 46b53f9d..afab398d 100644
--- a/src/interp/br-saturn.boot.pamphlet
+++ b/src/interp/br-saturn.boot
@@ -1,20 +1,3 @@
-\documentclass{article}
-\usepackage{axiom}
-
-\title{\File{src/interp/br-saturn.boot} Pamphlet}
-\author{The Axiom Team}
-
-\begin{document}
-\maketitle
-\begin{abstract}
-\end{abstract}
-\eject
-\tableofcontents
-\eject
-
-\section{License}
-
-<<license>>=
 -- Copyright (c) 1991-2002, The Numerical ALgorithms Group Ltd.
 -- All rights reserved.
 --
@@ -46,9 +29,6 @@
 -- NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
 -- SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
 
-@
-<<*>>=
-<<license>>
 
 --====================> WAS b-saturn.boot <================================
 -- New file as of 6/95
@@ -1222,16 +1202,16 @@ htShowPageStarSaturn() ==
 
 --------------> NEW DEFINITION (see br-op2.boot.pamphlet)
 displayDomainOp(htPage,which,origin,op,sig,predicate,
-		doc,index,chooseFn,unexposed?,$generalSearch?) ==
-  $chooseDownCaseOfType : local := true	  --see dbGetContrivedForm
+                doc,index,chooseFn,unexposed?,$generalSearch?) ==
+  $chooseDownCaseOfType : local := true   --see dbGetContrivedForm
   $whereList  : local := nil
   $NumberList : local := '(i j k l m n i1 j1 k1 l1 m1 n1 i2 j2 k2 l2 m2 n2 i3 j3 k3 l3 m3 n3 i4 j4 k4 l4 m4 n4 )
   $ElementList: local := '(x y z u v w x1 y1 z1 u1 v1 w1 x2 y2 z2 u2 v2 w2 x3 y3 z3 u3 v3 w3 x4 y4 z4 u4 v4 w4 )
   $FunctionList:local := '(f g h d e F G H)
-  $DomainList:	local := '(D R S E T A B C M N P Q U V W)
+  $DomainList:  local := '(D R S E T A B C M N P Q U V W)
   exactlyOneOpSig     := null index
   conform   := htpProperty(htPage,'domname) or htpProperty(htPage,'conform)
-		 or origin
+                 or origin
   if $generalSearch? then $DomainList := rest $DomainList
   opform :=
     which = '"attribute" =>
@@ -1269,7 +1249,7 @@ displayDomainOp(htPage,which,origin,op,sig,predicate,
   constring := form2HtString conform
   conname   := first conform
   $conkind   : local := htpProperty(htPage,'kind) -- a string e.g. "category"
-			  or STRINGIMAGE GETDATABASE(conname,'CONSTRUCTORKIND)
+                          or STRINGIMAGE GETDATABASE(conname,'CONSTRUCTORKIND)
   $conlength : local := #constring
   $conform   : local := conform
   $conargs   : local := rest conform
@@ -1314,7 +1294,7 @@ displayDomainOp(htPage,which,origin,op,sig,predicate,
             coSig := KDR coSig
             htSayValue t
             htSayIndentRel(-15,true)
-	    htSayStandard('"\newline ")
+            htSayStandard('"\newline ")
       htSaySaturn '"\\"
     if first $sig then
       $displayReturnValue := true
@@ -1364,8 +1344,8 @@ displayDomainOp(htPage,which,origin,op,sig,predicate,
       htSayStandard '"{\em \$} is "
       htSaySaturn '"{\em \%} is "
       htSay
-	$conkind = '"category" => '"of category "
-	'"the domain "
+        $conkind = '"category" => '"of category "
+        '"the domain "
       bcConform(conform,true,true)
       firstTime := false
       htSayIndentRel(-15,true)
@@ -1908,9 +1888,3 @@ purgeLocalLibdb() ==   --called by the user through a clear command?
 --  TERSYSCOMMAND()
 
 
-@
-\eject
-\begin{thebibliography}{99}
-\bibitem{1} nothing
-\end{thebibliography}
-\end{document}
diff --git a/src/interp/br-search.boot.pamphlet b/src/interp/br-search.boot
index f886a96a..0fb651b6 100644
--- a/src/interp/br-search.boot.pamphlet
+++ b/src/interp/br-search.boot
@@ -1,20 +1,3 @@
-\documentclass{article}
-\usepackage{axiom}
-
-\title{\File{src/interp/br-search.boot} Pamphlet}
-\author{The Axiom Team}
-
-\begin{document}
-\maketitle
-\begin{abstract}
-\end{abstract}
-\eject
-\tableofcontents
-\eject
-
-\section{License}
-
-<<license>>=
 -- Copyright (c) 1991-2002, The Numerical ALgorithms Group Ltd.
 -- All rights reserved.
 --
@@ -46,9 +29,6 @@
 -- NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
 -- SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
 
-@
-<<*>>=
-<<license>>
 
 --====================> WAS b-search.boot <================================
 
@@ -509,7 +489,7 @@ genSearchSay(pair,summarize,kind,who,fn) ==
     htSay('"{\em 1 ",kind,'"} ")
   else
     htSay('"{\em ",count,'" ",pluralize kind,'"} ")
-  short => 'done	
+  short => 'done        
   if uniqueCount ^= 1 then
     htSayStandard '"\indent{4}"
     htSay '"\newline "
@@ -1032,9 +1012,3 @@ dbUnpatchLines lines ==  --concatenate long lines together, skip blank lines
 
 
 
-@
-\eject
-\begin{thebibliography}{99}
-\bibitem{1} nothing
-\end{thebibliography}
-\end{document}
diff --git a/src/interp/br-util.boot.pamphlet b/src/interp/br-util.boot
index d157054d..f1f286b3 100644
--- a/src/interp/br-util.boot.pamphlet
+++ b/src/interp/br-util.boot
@@ -1,20 +1,3 @@
-\documentclass{article}
-\usepackage{axiom}
-
-\title{\File{src/interp/br-util.boot} Pamphlet}
-\author{The Axiom Team}
-
-\begin{document}
-\maketitle
-\begin{abstract}
-\end{abstract}
-\eject
-\tableofcontents
-\eject
-
-\section{License}
-
-<<license>>=
 -- Copyright (c) 1991-2002, The Numerical ALgorithms Group Ltd.
 -- All rights reserved.
 --
@@ -46,14 +29,11 @@
 -- NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
 -- SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
 
-@
-<<*>>=
-<<license>>
 
 --====================> WAS b-util.boot <================================
 
 --=======================================================================
---		       AXIOM Browser
+--                     AXIOM Browser
 -- Initial entry is from man0.ht page to one of these functions:
 --   kSearch (cSearch, dSearch, or pSearch), for constructors
 --   oSearch, for operations
@@ -67,27 +47,27 @@ browserAutoloadOnceTrigger() == nil
 
 ----------------------> Global Variables <-----------------------
 $includeUnexposed? := true   --default setting
-$tick := char '_`	     --field separator for database files
+$tick := char '_`            --field separator for database files
 $charUnderscore := ('__)     --needed because of parser bug
 $wild1 := '"[^`]*"           --phrase used to convert keys to grep strings
 $browseCountThreshold := 10  --the maximum number of names that will display
-			     --on a general search
+                             --on a general search
 $opDescriptionThreshold := 4 --if <= 4 operations with unique name, give desc
                              --otherwise, give signatures
 $browseMixedCase := true     --distinquish case in the browser?
-$docTable := nil	     --cache for documentation table
-$conArgstrings := nil	     --bound by conPage so that kPage
-			     --will display arguments if given
-$conformsAreDomains  := false	  --are all arguments of a constructor given?
+$docTable := nil             --cache for documentation table
+$conArgstrings := nil        --bound by conPage so that kPage
+                             --will display arguments if given
+$conformsAreDomains  := false     --are all arguments of a constructor given?
 $returnNowhereFromGoGet := false  --special branch out for goget for browser
-$dbDataFunctionAlist := nil	  --set by dbGatherData
-$domain	  := nil	     --bound in koOps
-$infovec  := nil	     --bound in koOps
-$predvec  := nil	     --bound in koOps
+$dbDataFunctionAlist := nil       --set by dbGatherData
+$domain   := nil             --bound in koOps
+$infovec  := nil             --bound in koOps
+$predvec  := nil             --bound in koOps
 $exposedOnlyIfTrue := nil    --see repeatSearch, dbShowOps, dbShowCon
-$bcMultipleNames := nil	     --see bcNameConTable
+$bcMultipleNames := nil      --see bcNameConTable
 $bcConformBincount := nil    --see bcConform1
-$docTableHash := MAKE_-HASHTABLE 'EQUAL	 --see dbExpandOpAlistIfNecessary
+$docTableHash := MAKE_-HASHTABLE 'EQUAL  --see dbExpandOpAlistIfNecessary
 $groupChoice := nil  --see dbShowOperationsFromConform
 
 ------------------> Initial Settings <---------------------
@@ -97,14 +77,14 @@ $dbKindAlist :=
     [char 'd,:'"domain"],[char 'p,:'"package"],
       [char 'c,:'"category"],[char 'x,:'"default_ package"]]
 $OpViewTable := '(
-  (names	   "Name"      "Names"           dbShowOpNames)
+  (names           "Name"      "Names"           dbShowOpNames)
   (documentation   "Name"      "Names"           dbShowOpDocumentation)
-  (domains	   "Domain"    "Domains"         dbShowOpDomains)
-  (signatures	   "Signature" "Signatures"      dbShowOpSignatures)
-  (parameters	   "Form"      "Forms"           dbShowOpParameters)
-  (origins	   "Origin"    "Origins"         dbShowOpOrigins)
-  (implementation  nil	       "Implementation Domains" dbShowOpImplementations)
-  (conditions	   "Condition" "Conditions"      dbShowOpConditions))
+  (domains         "Domain"    "Domains"         dbShowOpDomains)
+  (signatures      "Signature" "Signatures"      dbShowOpSignatures)
+  (parameters      "Form"      "Forms"           dbShowOpParameters)
+  (origins         "Origin"    "Origins"         dbShowOpOrigins)
+  (implementation  nil         "Implementation Domains" dbShowOpImplementations)
+  (conditions      "Condition" "Conditions"      dbShowOpConditions))
 
 bcBlankLine() == bcHt '"\vspace{1}\newline "
 
@@ -124,7 +104,7 @@ capitalize s ==
     SETELT(res,0,UPCASE res.0)
     res
 
-escapeSpecialIds u ==	--very expensive function
+escapeSpecialIds u ==   --very expensive function
   x := LASSOC(u,$htCharAlist) => [x]
   #u = 1 =>
     member(u, $htSpecialChars) => [CONCAT('"_\", u)]
@@ -154,37 +134,37 @@ htPred2English(x,:options) ==
   fn(x,100) where
     fn(x,prec) ==
       x is [op,:l] =>
-	LASSOC(op,$precList) is [iprec,:rename] =>
-	  if iprec > prec then htSay '"("
-	  fn(first l,iprec)
-	  for y in rest l repeat
-	    htSay('" ",rename or op,'" ")
-	    fn(y,iprec)
-	  if iprec > prec then htSay '")"
-	if prec < 5 then htSay '"("
-	gn(x,op,l,prec)
-	if prec < 5 then htSay '")"
+        LASSOC(op,$precList) is [iprec,:rename] =>
+          if iprec > prec then htSay '"("
+          fn(first l,iprec)
+          for y in rest l repeat
+            htSay('" ",rename or op,'" ")
+            fn(y,iprec)
+          if iprec > prec then htSay '")"
+        if prec < 5 then htSay '"("
+        gn(x,op,l,prec)
+        if prec < 5 then htSay '")"
       x = 'etc => htSay '"..."
       IDENTP x and not MEMQ(x,$emList) => htSay escapeSpecialIds PNAME x
       htSay form2HtString(x,$emList)
     gn(x,op,l,prec) ==
       MEMQ(op,'(NOT not)) =>
-	htSay('"not ")
-	fn(first l,0)
+        htSay('"not ")
+        fn(first l,0)
       op = 'HasCategory =>
-	bcConform(first l,$emList)
-	htSay('" has ")
-	bcConform(CADADR l,$emList)
+        bcConform(first l,$emList)
+        htSay('" has ")
+        bcConform(CADADR l,$emList)
       op = 'HasAttribute =>
-	bcConform(first l,$emList)
-	htSay('" has ")
-	fnAttr CADADR l
+        bcConform(first l,$emList)
+        htSay('" has ")
+        fnAttr CADADR l
       MEMQ(op,'(has ofCategory)) =>
-	bcConform(first l,$emList)
-	htSay('" has ")
-	[a,b] := l
-	b is ['ATTRIBUTE,c] and not constructor? c => fnAttr c
-	bcConform(b, $emList)
+        bcConform(first l,$emList)
+        htSay('" has ")
+        [a,b] := l
+        b is ['ATTRIBUTE,c] and not constructor? c => fnAttr c
+        bcConform(b, $emList)
       bcConform(x,$emList)
     fnAttr c ==
       s := form2HtString c
@@ -217,11 +197,11 @@ form2HtString(x,:options) ==
   fn(x) where
     fn x ==
       atom x =>
-	MEMQ(x,$FormalMapVariableList) => STRCONC('"\",STRINGIMAGE x)
-	u := escapeSpecialChars STRINGIMAGE x
-	MEMQ(x,$emList) => STRCONC('"{\em ",u,'"}")
-	STRINGP x => STRCONC('"_"",u,'"_"")
-	u
+        MEMQ(x,$FormalMapVariableList) => STRCONC('"\",STRINGIMAGE x)
+        u := escapeSpecialChars STRINGIMAGE x
+        MEMQ(x,$emList) => STRCONC('"{\em ",u,'"}")
+        STRINGP x => STRCONC('"_"",u,'"_"")
+        u
       first x = 'QUOTE => STRCONC('"'",sexpr2HtString first rest x)
       first x = ":" => STRCONC(fn first rest x,'": ",fn first rest rest x)
       first x = 'Mapping =>
@@ -286,7 +266,7 @@ dbConstructorKind x ==
   'domain
 
 getConstructorForm name ==
-  name = 'Union	  => '(Union  (_: a A) (_: b B))
+  name = 'Union   => '(Union  (_: a A) (_: b B))
   name = 'UntaggedUnion => '(Union A B)
   name = 'Record  => '(Record (_: a A) (_: b B))
   name = 'Mapping => '(Mapping T S)
@@ -490,8 +470,8 @@ bcConTable u ==
 bcAbbTable u ==
   htBeginTable()
   firstTime := true
-  for x in REMDUP u repeat	  --allow x to be NIL meaning "no abbreviation"
-  -- for x in u repeat	  --allow x to be NIL meaning "no abbreviation"
+  for x in REMDUP u repeat        --allow x to be NIL meaning "no abbreviation"
+  -- for x in u repeat    --allow x to be NIL meaning "no abbreviation"
     if firstTime then firstTime := false
     else htSaySaturn '"&"
     if x is [con,abb,:.] then
@@ -539,7 +519,7 @@ splitConTable cons ==
   uncond := cond := nil
   for (pair := [con,:pred]) in cons repeat
     null pred => 'skip
-    pred = 'T or pred is ['hasArgs,:.]	=> uncond := [pair,:uncond]
+    pred = 'T or pred is ['hasArgs,:.]  => uncond := [pair,:uncond]
     cond := [pair,:cond]
   [NREVERSE uncond,:NREVERSE cond]
 
@@ -629,7 +609,7 @@ dbGetInputString htPage ==
 
 
 --=======================================================================
---		     Error Pages
+--                   Error Pages
 --=======================================================================
 bcErrorPage u ==
   u is ['error,:r] =>
@@ -642,7 +622,7 @@ bcErrorPage u ==
 errorPage(htPage,[heading,kind,:info]) ==
   kind = 'invalidType => kInvalidTypePage first info
   if heading = 'error then htInitPage('"Error",nil) else
-			   htInitPage(heading,nil)
+                           htInitPage(heading,nil)
   bcBlankLine()
   for x in info repeat htSay x
   htShowPage()
@@ -684,7 +664,7 @@ dbNotAvailablePage(:options) ==
   htShowPage()
 
 --=======================================================================
---	 Utility Functions for Manipulating Browse Datalines
+--       Utility Functions for Manipulating Browse Datalines
 --=======================================================================
 dbpHasDefaultCategory? s ==  #s > 1 and s.1 = char 'x  --s is part 3 of line
 
@@ -730,9 +710,3 @@ mySort u == listSort(function GLESSEQP,u)
 
 
 
-@
-\eject
-\begin{thebibliography}{99}
-\bibitem{1} nothing
-\end{thebibliography}
-\end{document}