equal
deleted
inserted
replaced
80 \pagenumbering{roman} \tableofcontents \clearfirst |
80 \pagenumbering{roman} \tableofcontents \clearfirst |
81 |
81 |
82 \part{Basic Concepts} |
82 \part{Basic Concepts} |
83 \input{Thy/document/Introduction.tex} |
83 \input{Thy/document/Introduction.tex} |
84 \input{Thy/document/Framework.tex} |
84 \input{Thy/document/Framework.tex} |
|
85 \input{Thy/document/First_Order_Logic.tex} |
85 \part{General Language Elements} |
86 \part{General Language Elements} |
86 \input{Thy/document/Outer_Syntax.tex} |
87 \input{Thy/document/Outer_Syntax.tex} |
87 \input{Thy/document/Document_Preparation.tex} |
88 \input{Thy/document/Document_Preparation.tex} |
88 \input{Thy/document/Spec.tex} |
89 \input{Thy/document/Spec.tex} |
89 \input{Thy/document/Proof.tex} |
90 \input{Thy/document/Proof.tex} |