equal
deleted
inserted
replaced
77 \input{Thy/document/intro.tex} |
77 \input{Thy/document/intro.tex} |
78 \input{basics.tex} |
78 \input{basics.tex} |
79 \input{Thy/document/syntax.tex} |
79 \input{Thy/document/syntax.tex} |
80 \input{Thy/document/pure.tex} |
80 \input{Thy/document/pure.tex} |
81 \input{Thy/document/Generic.tex} |
81 \input{Thy/document/Generic.tex} |
|
82 \input{Thy/document/HOL_Specific.tex} |
|
83 \input{Thy/document/HOLCF_Specific.tex} |
|
84 \input{Thy/document/ZF_Specific.tex} |
82 \input{logics.tex} |
85 \input{logics.tex} |
83 |
86 |
84 \appendix |
87 \appendix |
85 \input{Thy/document/Quick_Reference.tex} |
88 \input{Thy/document/Quick_Reference.tex} |
86 \input{conversion.tex} |
89 \input{conversion.tex} |