| changeset 8828 | 5be2d1745c61 |
| parent 8248 | d7e85fd09291 |
| child 8979 | 802acc97fdaf |
| 8827:5c5c68f4610d | 8828:5be2d1745c61 |
|---|---|
49 \input{../Logics/syntax} |
49 \input{../Logics/syntax} |
50 \include{FOL} |
50 \include{FOL} |
51 \include{ZF} |
51 \include{ZF} |
52 \bibliographystyle{plain} |
52 \bibliographystyle{plain} |
53 \bibliography{../manual} |
53 \bibliography{../manual} |
54 \input{logics-ZF.ind} |
54 \printindex |
55 \end{document} |
55 \end{document} |