diff --git a/docs/cmu-user/introduction.tex b/docs/cmu-user/introduction.tex
index ea725538207d9593520cb3161bc876412d11e33d..7f3bb26abbe933a99eb877996bfec363f9b0c294 100644
--- a/docs/cmu-user/introduction.tex
+++ b/docs/cmu-user/introduction.tex
@@ -177,10 +177,80 @@ the Gwydion environment for Dylan. The CMU team was lead by Scott E.
 Fahlman, the \python{} compiler was written by Robert MacLachlan.
 
 \cmucl{}'s CLOS implementation is derived from the PCL reference
-implementation written an Xerox PARC. Its implementation of the LOOP
-macro was derived from code from Symbolics, which was derived from
-code written at MIT. The CLX code is copyrighted by Texas Instruments
-Incorporated.
+implementation written at Xerox PARC:
+\begin{quotation}
+\noindent Copyright (c) 1985, 1986, 1987, 1988, 1989, 1990 Xerox
+Corporation.\\
+All rights reserved.
+
+\vspace{1ex}
+\noindent Use and copying of this software and preparation of
+derivative works based upon this software are permitted.  Any
+distribution of this software or derivative works must comply with all
+applicable United States export control laws.
+
+\vspace{1ex}
+\noindent This software is made available AS IS, and Xerox Corporation
+makes no warranty about the software, its performance or its
+conformity to any specification.
+\end{quotation}
+Its implementation of the LOOP macro was derived from code from
+Symbolics, which was derived from code written at MIT:
+\begin{quotation}
+\noindent Portions of LOOP are Copyright (c) 1986 by the Massachusetts
+Institute of Technology.\\
+All Rights Reserved.
+
+\vspace{1ex}
+\noindent Permission to use, copy, modify and distribute this software
+and its documentation for any purpose and without fee is hereby granted,
+provided that the M.I.T. copyright notice appear in all copies and that
+both that copyright notice and this permission notice appear in
+supporting documentation.  The names "M.I.T." and "Massachusetts
+Institute of Technology" may not be used in advertising or publicity
+pertaining to distribution of the software without specific, written
+prior permission.  Notice must be given in supporting documentation that
+copying distribution is by permission of M.I.T.  M.I.T. makes no
+representations about the suitability of this software for any purpose.
+It is provided "as is" without express or implied warranty.
+
+\vspace{3ex}
+\noindent Portions of LOOP are Copyright (c) 1989, 1990, 1991, 1992 by
+Symbolics, Inc.\\
+All Rights Reserved.
+
+\vspace{1ex}
+\noindent Permission to use, copy, modify and distribute this software
+and its documentation for any purpose and without fee is hereby
+granted, provided that the Symbolics copyright notice appear in all
+copies and that both that copyright notice and this permission notice
+appear in supporting documentation.  The name "Symbolics" may not be
+used in advertising or publicity pertaining to distribution of the
+software without specific, written prior permission.  Notice must be
+given in supporting documentation that copying distribution is by
+permission of Symbolics.  Symbolics makes no representations about the
+suitability of this software for any purpose.  It is provided "as is"
+without express or implied warranty.
+
+\vspace{1ex}
+\noindent Symbolics, CLOE Runtime, and Minima are trademarks, and
+CLOE, Genera, and Zetalisp are registered trademarks of Symbolics,
+Inc.
+\end{quotation}
+The CLX code is copyrighted by Texas Instruments Incorporated:
+\begin{quotation}
+\noindent Copyright (C) 1987 Texas Instruments Incorporated.
+
+\vspace{1ex}
+\noindent Permission is granted to any individual or institution to
+use, copy, modify, and distribute this software, provided that this
+complete copyright and permission notice is maintained, intact, in all
+copies and supporting documentation.
+
+\vspace{1ex}
+\noindent Texas Instruments Incorporated provides this software "as
+is" without express or implied warranty.
+\end{quotation}
 
 \cmucl{} was funded by DARPA under CMU's "Research on Parallel Computing"
 contract. Rather than doing pure research on programming languages and