changeset 8828 | 5be2d1745c61 |
parent 7837 | d4fb2d14edd4 |
child 8979 | 802acc97fdaf |
8827:5c5c68f4610d | 8828:5be2d1745c61 |
---|---|
45 \include{Sequents} |
45 \include{Sequents} |
46 %%\include{Modal} |
46 %%\include{Modal} |
47 \include{CTT} |
47 \include{CTT} |
48 \bibliographystyle{plain} |
48 \bibliographystyle{plain} |
49 \bibliography{../manual} |
49 \bibliography{../manual} |
50 \input{logics.ind} |
50 \printindex |
51 \end{document} |
51 \end{document} |