equal
deleted
inserted
replaced
77 \input{Thy/document/Introduction.tex} |
77 \input{Thy/document/Introduction.tex} |
78 \input{Thy/document/Outer_Syntax.tex} |
78 \input{Thy/document/Outer_Syntax.tex} |
79 \input{Thy/document/Document_Preparation.tex} |
79 \input{Thy/document/Document_Preparation.tex} |
80 \input{Thy/document/Spec.tex} |
80 \input{Thy/document/Spec.tex} |
81 \input{Thy/document/Proof.tex} |
81 \input{Thy/document/Proof.tex} |
|
82 \input{Thy/document/Inner_Syntax.tex} |
82 \input{Thy/document/Misc.tex} |
83 \input{Thy/document/Misc.tex} |
83 \input{Thy/document/Generic.tex} |
84 \input{Thy/document/Generic.tex} |
84 \input{Thy/document/HOL_Specific.tex} |
85 \input{Thy/document/HOL_Specific.tex} |
85 \input{Thy/document/HOLCF_Specific.tex} |
86 \input{Thy/document/HOLCF_Specific.tex} |
86 \input{Thy/document/ZF_Specific.tex} |
87 \input{Thy/document/ZF_Specific.tex} |