--- a/doc-src/IsarRef/isar-ref.tex Thu Jan 03 17:01:59 2002 +0100
+++ b/doc-src/IsarRef/isar-ref.tex Thu Jan 03 17:48:02 2002 +0100
@@ -89,8 +89,7 @@
\include{syntax}
\include{pure}
\include{generic}
-\include{hol}
-\include{zf}
+\include{logics}
\appendix
\include{refcard}