changeset 5374 | 6ef3742b6153 |
parent 356 | 2e6545875982 |
child 14379 | ea10a8c3e9cf |
--- a/doc-src/preface.tex Mon Aug 24 21:09:59 1998 +0200 +++ b/doc-src/preface.tex Wed Aug 26 16:33:29 1998 +0200 @@ -51,7 +51,7 @@ logics, and a Logic for Computable Functions~\cite{paulson87}. Several experimental logics are being developed, such as linear logic. -\centerline{\epsfbox{Isa-logics.eps}} +\centerline{\epsfbox{gfx/Isa-logics.eps}} \section*{How to read this book}