equal
deleted
inserted
replaced
51 \emph{Reference Manual} for general Isabelle commands, and \emph{Introduction |
51 \emph{Reference Manual} for general Isabelle commands, and \emph{Introduction |
52 to Isabelle} for an overall tutorial. |
52 to Isabelle} for an overall tutorial. |
53 \end{abstract} |
53 \end{abstract} |
54 |
54 |
55 \pagenumbering{roman} \tableofcontents \clearfirst |
55 \pagenumbering{roman} \tableofcontents \clearfirst |
56 \include{../Logics/syntax} |
56 \input{../Logics/syntax} |
57 \include{FOL} |
57 \include{FOL} |
58 \include{ZF} |
58 \include{ZF} |
59 \bibliographystyle{plain} |
59 \bibliographystyle{plain} |
60 \bibliography{../manual} |
60 \bibliography{../manual} |
61 \input{logics-ZF.ind} |
61 \input{logics-ZF.ind} |