| author | wneuper |
| Wed, 15 Jun 2005 18:31:02 +0200 | |
| branch | java_rename_format |
| changeset 3922 | fcd5648113ca |
| parent 3 | bd11875dadb1 |
| child 2327 | 7f9d4f098765 |
| permissions | -rw-r--r-- |
1 % trick from Diller p.82 perserves references over several files
3 \def\currf{$f\;$}
4 \def\tac{${\it tac\;}$}
5 \def\res{$f^\prime\;$}
6 \newtheorem{UR}{UR}[section]
7 \include{urd-content}
9 \newtheorem{SR}{SR}[section]
10 \include{srd-content}
12 \include{add-content}
13 \include{sdd-content}
15 \newtheorem{UC}{UC}[subsection]
16 \def\nod{$\backslash\_\mkern-1mu\_\mkern-1mu\_\;$}
17 \include{use-content}
18 \include{sub-content}
20 \begin{appendix}
21 \newtheorem{Dev}{Dev}[section]
22 \include{appendices-content}
23 \end{appendix}