--- a/doc-src/Logics/logics.tex Thu Nov 11 12:44:43 1993 +0100
+++ b/doc-src/Logics/logics.tex Thu Nov 11 13:18:49 1993 +0100
@@ -1,7 +1,7 @@
\documentstyle[a4,12pt,proof,iman,alltt]{report}
%% $Id$
%%%STILL NEEDS MODAL, LCF
-\includeonly{HOL}
+%%%\includeonly{ZF}
%%% to index derived rls: ^\([a-zA-Z0-9][a-zA-Z0-9_]*\) \\idx{\1}
%%% to index rulenames: ^ *(\([a-zA-Z0-9][a-zA-Z0-9_]*\), \\idx{\1}
%%% to index constants: \\tt \([a-zA-Z0-9][a-zA-Z0-9_]*\) \\idx{\1}
@@ -56,6 +56,6 @@
%%\include{LCF}
\include{defining}
\bibliographystyle{plain}
-\bibliography{atp,theory,funprog,logicprog}
+\bibliography{atp,theory,funprog,logicprog,isabelle}
\input{logics.ind}
\end{document}