equal
deleted
inserted
replaced
40 |
40 |
41 \pagenumbering{roman} \tableofcontents \clearfirst |
41 \pagenumbering{roman} \tableofcontents \clearfirst |
42 |
42 |
43 \input{thm} |
43 \input{thm} |
44 \input{syntax} |
44 \input{syntax} |
45 \input{substitution} |
|
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 |
50 \begingroup |
49 \begingroup |