equal
deleted
inserted
replaced
39 (projects 3245: Logical Frameworks, and 6453: Types), and by the DFG |
39 (projects 3245: Logical Frameworks, and 6453: Types), and by the DFG |
40 Schwerpunktprogramm \emph{Deduktion}. |
40 Schwerpunktprogramm \emph{Deduktion}. |
41 |
41 |
42 \pagenumbering{roman} \tableofcontents \clearfirst |
42 \pagenumbering{roman} \tableofcontents \clearfirst |
43 |
43 |
44 \input{thm} |
|
45 \input{syntax} |
44 \input{syntax} |
46 |
45 |
47 %%seealso's must be last so that they appear last in the index entries |
46 %%seealso's must be last so that they appear last in the index entries |
48 \index{meta-rewriting|seealso{tactics, theorems}} |
47 \index{meta-rewriting|seealso{tactics, theorems}} |
49 |
48 |