equal
deleted
inserted
replaced
50 {\def\isamarkupchapter#1{\chapter*{#1}}\input{Thy/document/Preface.tex}} |
50 {\def\isamarkupchapter#1{\chapter*{#1}}\input{Thy/document/Preface.tex}} |
51 \tableofcontents |
51 \tableofcontents |
52 \clearfirst |
52 \clearfirst |
53 |
53 |
54 \part{Basic Concepts} |
54 \part{Basic Concepts} |
|
55 \input{Thy/document/Synopsis.tex} |
55 \input{Thy/document/Framework.tex} |
56 \input{Thy/document/Framework.tex} |
56 \input{Thy/document/First_Order_Logic.tex} |
57 \input{Thy/document/First_Order_Logic.tex} |
57 \part{General Language Elements} |
58 \part{General Language Elements} |
58 \input{Thy/document/Outer_Syntax.tex} |
59 \input{Thy/document/Outer_Syntax.tex} |
59 \input{Thy/document/Document_Preparation.tex} |
60 \input{Thy/document/Document_Preparation.tex} |