equal
deleted
inserted
replaced
73 |
73 |
74 \pagenumbering{roman} \tableofcontents \clearfirst |
74 \pagenumbering{roman} \tableofcontents \clearfirst |
75 |
75 |
76 \input{Thy/document/Introduction.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/Outer_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} |
82 \input{Thy/document/Generic.tex} |
82 \input{Thy/document/Generic.tex} |
83 \input{Thy/document/HOL_Specific.tex} |
83 \input{Thy/document/HOL_Specific.tex} |