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