1.1 --- a/doc-src/preface.tex	Mon Aug 24 21:09:59 1998 +0200
     1.2 +++ b/doc-src/preface.tex	Wed Aug 26 16:33:29 1998 +0200
     1.3 @@ -51,7 +51,7 @@
     1.4  logics, and a Logic for Computable Functions~\cite{paulson87}.  Several
     1.5  experimental logics are being developed, such as linear logic.
     1.6  
     1.7 -\centerline{\epsfbox{Isa-logics.eps}}
     1.8 +\centerline{\epsfbox{gfx/Isa-logics.eps}}
     1.9  
    1.10  
    1.11  \section*{How to read this book}