equal
deleted
inserted
replaced
76 |
76 |
77 \pagenumbering{roman} \tableofcontents \cleardoublepage |
77 \pagenumbering{roman} \tableofcontents \cleardoublepage |
78 \pagenumbering{arabic} |
78 \pagenumbering{arabic} |
79 \setcounter{page}{1} |
79 \setcounter{page}{1} |
80 \input{syntax} |
80 \input{syntax} |
81 \include{FOL} |
81 \input{FOL} |
82 \include{ZF} |
82 \input{ZF} |
83 |
83 |
84 \isabellestyle{literal} |
84 \isabellestyle{literal} |
85 \include{ZF_Isar} |
85 \input{ZF_Isar} |
86 \isabellestyle{tt} |
86 \isabellestyle{tt} |
87 |
87 |
88 \bibliographystyle{plain} |
88 \bibliographystyle{plain} |
89 \bibliography{manual} |
89 \bibliography{manual} |
90 \printindex |
90 \printindex |