equal
deleted
inserted
replaced
71 |
71 |
72 \maketitle |
72 \maketitle |
73 |
73 |
74 \pagenumbering{roman} \tableofcontents \clearfirst |
74 \pagenumbering{roman} \tableofcontents \clearfirst |
75 |
75 |
76 \input{Thy/document/intro.tex} |
76 \input{Thy/document/Introduction.tex} |
77 \input{basics.tex} |
77 \input{basics.tex} |
78 \input{Thy/document/syntax.tex} |
78 \input{Thy/document/syntax.tex} |
79 \input{Thy/document/Spec.tex} |
79 \input{Thy/document/Spec.tex} |
80 \input{Thy/document/Proof.tex} |
80 \input{Thy/document/Proof.tex} |
81 \input{Thy/document/pure.tex} |
81 \input{Thy/document/pure.tex} |