--- a/doc-src/Ref/theories.tex Wed May 05 14:31:31 1999 +0200
+++ b/doc-src/Ref/theories.tex Wed May 05 16:44:42 1999 +0200
@@ -486,7 +486,7 @@
number of lambdas, starting from zero, between a variable's occurrence
and its binding. The representation prevents capture of variables. For
more information see de Bruijn \cite{debruijn72} or
- Paulson~\cite[page~336]{paulson91}.
+ Paulson~\cite[page~376]{paulson-ml2}.
\item[\ttindexbold{Abs} ($a$, $T$, $u$)]
\index{lambda abs@$\lambda$-abstractions|bold}