1.1 --- a/doc-src/ZF/ZF.tex	Thu May 27 20:49:10 1999 +0200
     1.2 +++ b/doc-src/ZF/ZF.tex	Fri May 28 11:42:07 1999 +0200
     1.3 @@ -1173,7 +1173,7 @@
     1.4  These are essential to many definitions that follow, including the natural
     1.5  numbers and the transitive closure operator.  The (co)inductive definition
     1.6  package also uses the fixedpoint operators~\cite{paulson-CADE}.  See
     1.7 -Davey and Priestley~\cite{davey&priestley} for more on the Knaster-Tarski
     1.8 +Davey and Priestley~\cite{davey-priestley} for more on the Knaster-Tarski
     1.9  Theorem and my paper~\cite{paulson-set-II} for discussion of the Isabelle
    1.10  proofs.
    1.11