1 files changed, 0 insertions, 92 deletions
diff --git a/src/interp/redefs.boot.pamphlet b/src/interp/redefs.boot.pamphlet
deleted file mode 100644
index 519c3fbb..00000000
--- a/src/interp/redefs.boot.pamphlet
+++ /dev/null
@@ -1,92 +0,0 @@
-\documentclass{article}
-\usepackage{axiom}
-\begin{document}
-\title{\$SPAD/src/interp redefs.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.
---
--- Redistribution and use in source and binary forms, with or without
--- modification, are permitted provided that the following conditions are
--- met:
---
---     - Redistributions of source code must retain the above copyright
---       notice, this list of conditions and the following disclaimer.
---
---     - Redistributions in binary form must reproduce the above copyright
---       notice, this list of conditions and the following disclaimer in
---       the documentation and/or other materials provided with the
---       distribution.
---
---     - Neither the name of The Numerical ALgorithms Group Ltd. nor the
---       names of its contributors may be used to endorse or promote products
---       derived from this software without specific prior written permission.
---
--- THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS
--- IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
--- TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A
--- PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER
--- OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
--- EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
--- PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR
--- PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF
--- LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING
--- NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
--- SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
-
-@
-<<*>>=
-<<license>>
-
-)package "BOOT"
-
-BLANKS n== MAKE_-FULL_-CVEC (n)
-
-object2String x==
-   STRINGP x=>x
-   IDENTP x=> PNAME x
-   STRINGIMAGE x
- 
-sayMSG x== shoeConsole x
-sayBrightly x==
-       brightPrint x
-       TERPRI()
-;;char x==CHAR(PNAME x,0)
-pathname x==CONCAT(PNAME(x.0),'".",PNAME(x.1))
-CVECP x== STRINGP x
-concat(:l) == concatList l
- 
-concatList [x,:y] ==
-  null y => x
-  null x => concatList y
-  concat1(x,concatList y)
- 
-concat1(x,y) ==
-  null x => y
-  atom x => (null y => x; atom y => [x,y]; [x,:y])
-  null y => x
-  atom y => [:x,y]
-  [:x,:y]
- 
---$FILESIZE x==
---     a:=OPEN MAKE_-INPUT_-FILENAME x
---     b:=FILE_-LENGTH a
---     CLOSE a
---     b
-SPADCATCH(x,y)==CATCH(x,y)
-SPADTHROW(x,y)==THROW(x,y)
-listSort(f,l)== SORT(l,f)
-@
-\eject
-\begin{thebibliography}{99}
-\bibitem{1} nothing
-\end{thebibliography}
-\end{document}