equal
deleted
inserted
replaced
54 |
54 |
55 \pagenumbering{roman} \tableofcontents \clearfirst |
55 \pagenumbering{roman} \tableofcontents \clearfirst |
56 \include{../Logics/syntax} |
56 \include{../Logics/syntax} |
57 \include{HOL} |
57 \include{HOL} |
58 \bibliographystyle{plain} |
58 \bibliographystyle{plain} |
59 \bibliography{string,general,atp,theory,funprog,logicprog,isabelle,crossref} |
59 \bibliography{../isabelle} |
|
60 %\bibliography{string,general,atp,theory,funprog,logicprog,isabelle,crossref} |
60 \input{logics-HOL.ind} |
61 \input{logics-HOL.ind} |
61 \end{document} |
62 \end{document} |