| changeset 2933 | f842a75d9624 |
| parent 2661 | 366190b74832 |
| child 2976 | 7c848e330a80 |
--- a/doc-src/Logics/logics.tex Thu Apr 10 14:26:01 1997 +0200 +++ b/doc-src/Logics/logics.tex Thu Apr 10 18:07:27 1997 +0200 @@ -61,6 +61,6 @@ %%\include{Cube} %%\include{LCF} \bibliographystyle{plain} -\bibliography{string,atp,theory,funprog,logicprog,isabelle,crossref} +\bibliography{string,general,atp,theory,funprog,logicprog,isabelle,crossref} \input{logics.ind} \end{document}