doc-src/TutorialI/cl2emono-modified.sty
author Walther Neuper <neuper@ist.tugraz.at>
Thu, 12 Aug 2010 15:03:34 +0200
branchisac-from-Isabelle2009-2
changeset 37913 20e3616b2d9c
parent 10500 df47f58b8253
permissions -rw-r--r--
prepare reactivation of isac-update-Isa09-2
nipkow@10410
     1
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
nipkow@10410
     2
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
nipkow@10410
     3
%%  This is cl2emono.sty version 2.2
nipkow@10410
     4
%%  (intermediate fix also for springer.sty for the use of
nipkow@10410
     5
%%  LaTeX2e and NFSS2)
nipkow@10410
     6
%%
nipkow@10410
     7
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
nipkow@10410
     8
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
nipkow@10410
     9
nipkow@10410
    10
nipkow@10410
    11
nipkow@10410
    12
nipkow@10410
    13
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
nipkow@10410
    14
%
nipkow@10410
    15
%  This is ucgreek
nipkow@10410
    16
%  the definition of versal greek characters
nipkow@10410
    17
%
nipkow@10410
    18
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
nipkow@10410
    19
nipkow@10410
    20
\mathchardef\Gamma="0100
nipkow@10410
    21
\mathchardef\Delta="0101
nipkow@10410
    22
\mathchardef\Theta="0102
nipkow@10410
    23
\mathchardef\Lambda="0103
nipkow@10410
    24
\mathchardef\Xi="0104
nipkow@10410
    25
\mathchardef\Pi="0105
nipkow@10410
    26
\mathchardef\Sigma="0106
nipkow@10410
    27
\mathchardef\Upsilon="0107
nipkow@10410
    28
\mathchardef\Phi="0108
nipkow@10410
    29
\mathchardef\Psi="0109
nipkow@10410
    30
\mathchardef\Omega="010A
nipkow@10410
    31
nipkow@10410
    32
nipkow@10410
    33
nipkow@10410
    34
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
nipkow@10410
    35
%
nipkow@10410
    36
%             This is referee.tex
nipkow@10410
    37
%
nipkow@10410
    38
% It defines the style option "referee"
nipkow@10410
    39
%
nipkow@10410
    40
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
nipkow@10410
    41
\newif\if@referee \@refereefalse
nipkow@10410
    42
\def\ds@referee{\@refereetrue
nipkow@10410
    43
\typeout{A referee's copy will be produced.}%
nipkow@10410
    44
\def\baselinestretch{2}\small
nipkow@10410
    45
\normalsize\rm
nipkow@10410
    46
\newbox\refereebox
nipkow@10410
    47
\setbox\refereebox=\vbox to0pt{\vskip0.5cm%
nipkow@10410
    48
  \hbox to\textwidth{\normalsize\tt\hrulefill\lower0.5ex
nipkow@10410
    49
        \hbox{\kern5pt referee's copy\kern5pt}\hrulefill}\vss}%
nipkow@10410
    50
\def\@oddfoot{\copy\refereebox}\let\@evenfoot=\@oddfoot}
nipkow@10410
    51
% This is footinfo.tex
nipkow@10410
    52
% it provides an informatory line on every page
nipkow@10410
    53
%
nipkow@10410
    54
\def\SpringerMacroPackageNameA{\springerstylefile}
nipkow@10410
    55
% \thetime, \thedate and \timstamp are macros to include
nipkow@10410
    56
% time, date (or both) of the TeX run in the document
nipkow@10410
    57
\def\maketimestamp{\count255=\time
nipkow@10410
    58
\divide\count255 by 60\relax
nipkow@10410
    59
\edef\thetime{\the\count255:}%
nipkow@10410
    60
\multiply\count255 by-60\relax
nipkow@10410
    61
\advance\count255 by\time
nipkow@10410
    62
\edef\thetime{\thetime\ifnum\count255<10 0\fi\the\count255}
nipkow@10410
    63
\edef\thedate{\number\day-\ifcase\month\or Jan\or Feb\or Mar\or
nipkow@10410
    64
             Apr\or May\or Jun\or Jul\or Aug\or Sep\or Oct\or
nipkow@10410
    65
             Nov\or Dec\fi-\number\year}
nipkow@10410
    66
\def\timstamp{\hbox to\hsize{\tt\hfil\thedate\hfil\thetime\hfil}}}
nipkow@10410
    67
\maketimestamp
nipkow@10410
    68
%
nipkow@10410
    69
% \footinfo generates a info footline on every page containing
nipkow@10410
    70
% pagenumber, jobname, macroname, and timestamp
nipkow@10410
    71
\def\ds@footinfo{\maketimestamp
nipkow@10410
    72
   \def\@oddfoot{\footnotesize\tt Page: \thepage\hfil job: \jobname\hfil
nipkow@10410
    73
                 macro: \SpringerMacroPackageNameA\hfil
nipkow@10410
    74
                 date/time: \thedate/\thetime}%
nipkow@10410
    75
   \let\@evenfoot=\@oddfoot}
nipkow@10410
    76
\def\footinfo{\maketimestamp
nipkow@10410
    77
   \ds@footinfo
nipkow@10410
    78
   \typeout{You ordered a foot-info line. }}
nipkow@10410
    79
\def\nofootinfo{%
nipkow@10410
    80
   \def\@oddfoot{}\def\@evenfoot{}%
nipkow@10410
    81
   \typeout{Foot-info has been disabled. }}
nipkow@10410
    82
nipkow@10410
    83
nipkow@10410
    84
nipkow@10410
    85
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
nipkow@10410
    86
%
nipkow@10410
    87
%             This is vector.tex
nipkow@10410
    88
%
nipkow@10410
    89
% It redefines the plain TeX \vec command
nipkow@10410
    90
% and adds a \tens command for tensors
nipkow@10410
    91
%
nipkow@10410
    92
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
nipkow@10410
    93
nipkow@10410
    94
% ##### (changed by RB)
nipkow@10410
    95
\def\vec@style{\relax} % hook to change style of vector
nipkow@10410
    96
                       % default yields boldface italic
nipkow@10410
    97
% \def\vec@style{\bf}  % hook to change style of vector
nipkow@10410
    98
%                      % default yields mathstyle i.e. boldface upright
nipkow@10410
    99
nipkow@10410
   100
\def\vec#1{\relax\ifmmode\mathchoice
nipkow@10410
   101
{\mbox{\boldmath$\vec@style\displaystyle#1$}}
nipkow@10410
   102
{\mbox{\boldmath$\vec@style\textstyle#1$}}
nipkow@10410
   103
{\mbox{\boldmath$\vec@style\scriptstyle#1$}}
nipkow@10410
   104
{\mbox{\boldmath$\vec@style\scriptscriptstyle#1$}}\else
nipkow@10410
   105
\hbox{\boldmath$\vec@style\textstyle#1$}\fi}
nipkow@10410
   106
nipkow@10410
   107
\def\tens#1{\relax\ifmmode\mathchoice{\mbox{$\sf\displaystyle#1$}}
nipkow@10410
   108
{\mbox{$\sf\textstyle#1$}}
nipkow@10410
   109
{\mbox{$\sf\scriptstyle#1$}}
nipkow@10410
   110
{\mbox{$\sf\scriptscriptstyle#1$}}\else
nipkow@10410
   111
\hbox{$\sf\textstyle#1$}\fi}
nipkow@10410
   112
nipkow@10410
   113
nipkow@10410
   114
nipkow@10410
   115
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
nipkow@10410
   116
%
nipkow@10410
   117
%             This is vecstyle.tex
nipkow@10410
   118
%
nipkow@10410
   119
% It enables documentstyle options vecmath and vecphys
nipkow@10410
   120
% to change the vectors to upright bold face or
nipkow@10410
   121
% to math italic bold respectively
nipkow@10410
   122
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
nipkow@10410
   123
nipkow@10410
   124
\def\ds@vecmath{\def\vec@style{\bf}\typeout{Vectors are now represented
nipkow@10410
   125
in mathematics style as boldface upright characters.}}
nipkow@10410
   126
\def\ds@vecphys{\let\vec@style\relax\typeout{Vectors are now represented
nipkow@10410
   127
in physics style as boldface italics.}}
nipkow@10410
   128
nipkow@10410
   129
nipkow@10410
   130
nipkow@10410
   131
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
nipkow@10410
   132
%
nipkow@10410
   133
%             This is defaults.tex
nipkow@10410
   134
%
nipkow@10410
   135
% It sets the switches for twoside printing, numbering
nipkow@10410
   136
% of equations and kind of citation.
nipkow@10410
   137
%
nipkow@10410
   138
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
nipkow@10410
   139
\@twosidetrue                       % twoside is default
nipkow@10410
   140
\newif\if@bibay    \@bibayfalse     % citation with numbers
nipkow@10410
   141
                                    % is default
nipkow@10410
   142
\newif\if@numart   \@numartfalse    % numbering with chapternumbers
nipkow@10410
   143
                                    % is default
nipkow@10410
   144
nipkow@10410
   145
nipkow@10410
   146
nipkow@10410
   147
nipkow@10410
   148
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
nipkow@10410
   149
%
nipkow@10410
   150
%             This is misc.xxx
nipkow@10410
   151
%
nipkow@10410
   152
% It defines various commands not available in "plain LaTeX"
nipkow@10410
   153
%
nipkow@10410
   154
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
nipkow@10410
   155
\newcommand{\ts}{\thinspace{}}
nipkow@10410
   156
\newcommand{\sq}{\hbox{\rlap{$\sqcap$}$\sqcup$}}
nipkow@10410
   157
\newcommand{\qed}{\ifmmode\sq\else{\unskip\nobreak\hfil
nipkow@10410
   158
  \penalty50\hskip1em\null\nobreak\hfil\sq
nipkow@10410
   159
  \parfillskip=0pt\finalhyphendemerits=0\endgraf}\fi{}}
nipkow@10410
   160
\def\D{{\rm d}}
nipkow@10410
   161
\def\E{{\rm e}}
nipkow@10410
   162
\let\eul=\E
nipkow@10410
   163
\def\I{{\rm i}}
nipkow@10410
   164
\let\imag=\I
nipkow@10410
   165
\def\strich{\vskip0.5cm\hrule\vskip3ptplus12pt\null}
nipkow@10410
   166
nipkow@10410
   167
% Frame for paste-in figures or tables
nipkow@10410
   168
%\def\mpicplace#1#2{%#1 = width   #2 = height
nipkow@10410
   169
%\vbox{\@tempdima=#2\advance\@tempdima by-2\fboxrule
nipkow@10410
   170
%\hrule\@height \fboxrule\@width #1
nipkow@10410
   171
%\hbox to #1{\vrule\@width \fboxrule\@height\@tempdima\hfil
nipkow@10410
   172
%\vrule\@width \fboxrule\@height\@tempdima}\hrule\@height
nipkow@10410
   173
%\fboxrule\@width #1}}
nipkow@10410
   174
nipkow@10410
   175
% #####
nipkow@10410
   176
% Frame for paste-in figures or tables
nipkow@10410
   177
\def\mpicplace#1#2{%  #1 =width   #2 =height
nipkow@10410
   178
\vbox{\hbox to #1{\vrule width \fboxrule height #2\hfill}}}
nipkow@10410
   179
nipkow@10410
   180
\def\picplace#1{\mpicplace{\hsize}{#1}}
nipkow@10410
   181
% Ragged bottom for the actual page
nipkow@10410
   182
\def\thisbottomragged{\def\@textbottom{\vskip\z@ plus.0001fil
nipkow@10410
   183
\global\let\@textbottom\relax}}
nipkow@10410
   184
\flushbottom
nipkow@10410
   185
nipkow@10410
   186
nipkow@10410
   187
nipkow@10410
   188
nipkow@10410
   189
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
nipkow@10410
   190
%
nipkow@10410
   191
%             This is layout.m01
nipkow@10410
   192
%
nipkow@10410
   193
% It defines various sizes and settings for books
nipkow@10410
   194
%
nipkow@10410
   195
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
nipkow@10410
   196
nipkow@10410
   197
\topmargin=0cm
nipkow@10410
   198
\textwidth=11.7cm
nipkow@10410
   199
\textheight=18.9cm
nipkow@10410
   200
\oddsidemargin=0.7cm
nipkow@10410
   201
\evensidemargin=0.7cm
nipkow@10410
   202
\headsep=12pt
nipkow@10410
   203
nipkow@10410
   204
\baselineskip=12pt
nipkow@10410
   205
\parindent=15pt
nipkow@10410
   206
\parskip=0pt plus 1pt
nipkow@10410
   207
\hfuzz=2pt
nipkow@10410
   208
\frenchspacing
nipkow@10410
   209
nipkow@10410
   210
\tolerance=500
nipkow@10410
   211
nipkow@10410
   212
\abovedisplayskip=3mm plus6pt minus 4pt
nipkow@10410
   213
\belowdisplayskip=3mm plus6pt minus 4pt
nipkow@10410
   214
\abovedisplayshortskip=0mm plus6pt minus 2pt
nipkow@10410
   215
\belowdisplayshortskip=2mm plus4pt minus 4pt
nipkow@10410
   216
nipkow@10410
   217
\predisplaypenalty=0
nipkow@10410
   218
\clubpenalty=10000
nipkow@10410
   219
\widowpenalty=10000
nipkow@10410
   220
nipkow@10410
   221
\newdimen\betweenumberspace          % dimension for space between
nipkow@10410
   222
\betweenumberspace=5pt               % number and text of titles.
nipkow@10410
   223
\newdimen\headlineindent             % dimension for space between
nipkow@10410
   224
\headlineindent=2.5cc                % number and text of headings.
nipkow@10410
   225
nipkow@10410
   226
\intextsep 20pt plus 2pt minus 2pt
nipkow@10410
   227
nipkow@10410
   228
\setcounter{topnumber}{4}
nipkow@10410
   229
\def\topfraction{.9}
nipkow@10410
   230
\setcounter{bottomnumber}{2}
nipkow@10410
   231
\def\bottomfraction{.5}
nipkow@10410
   232
\setcounter{totalnumber}{6}
nipkow@10410
   233
\def\textfraction{.2}
nipkow@10410
   234
\def\floatpagefraction{.5}
nipkow@10410
   235
nipkow@10410
   236
% Figures and tables are processed in small print
nipkow@10410
   237
\def \@floatboxreset {%
nipkow@10410
   238
        \reset@font
nipkow@10410
   239
        \small
nipkow@10410
   240
        \@setnobreak
nipkow@10410
   241
        \@setminipage
nipkow@10410
   242
}
nipkow@10410
   243
\def\figure{\@float{figure}}
nipkow@10410
   244
\@namedef{figure*}{\@dblfloat{figure}}
nipkow@10410
   245
\def\table{\@float{table}}
nipkow@10410
   246
\@namedef{table*}{\@dblfloat{table}}
nipkow@10410
   247
\def\fps@figure{htbp}
nipkow@10410
   248
\def\fps@table{htbp}
nipkow@10410
   249
nipkow@10410
   250
\labelsep=5\p@                       % measures for lists
nipkow@10410
   251
\leftmargini=17.777\p@
nipkow@10410
   252
\labelwidth\leftmargini\advance\labelwidth-\labelsep
nipkow@10410
   253
\leftmarginii=\leftmargini
nipkow@10410
   254
\leftmarginiii=\leftmargini
nipkow@10410
   255
\parsep=\parskip
nipkow@10410
   256
nipkow@10410
   257
\def\@listI{\leftmargin\leftmargini
nipkow@10410
   258
        \parsep=\parskip
nipkow@10410
   259
        \topsep=\medskipamount
nipkow@10410
   260
        \itemsep=\parskip \advance\itemsep by -\parsep}
nipkow@10410
   261
\let\@listi\@listI
nipkow@10410
   262
\@listi
nipkow@10410
   263
nipkow@10410
   264
\def\@listii{\leftmargin\leftmarginii
nipkow@10410
   265
        \labelwidth\leftmarginii\advance\labelwidth by -\labelsep
nipkow@10410
   266
        \parsep=\parskip
nipkow@10410
   267
        \topsep=\z@
nipkow@10410
   268
        \itemsep=\parskip \advance\itemsep by -\parsep}
nipkow@10410
   269
\def\@listiii{\leftmargin\leftmarginiii
nipkow@10410
   270
        \labelwidth\leftmarginiii\advance\labelwidth by -\labelsep
nipkow@10410
   271
        \parsep=\parskip
nipkow@10410
   272
        \topsep=\z@
nipkow@10410
   273
        \itemsep=\parskip \advance\itemsep by -\parsep}
nipkow@10410
   274
%
nipkow@10410
   275
\def\@normalsize{\@setsize\normalsize{12pt}\xpt\@xpt
nipkow@10410
   276
\abovedisplayskip=3mm plus6pt minus 4pt
nipkow@10410
   277
\belowdisplayskip=3mm plus6pt minus 4pt
nipkow@10410
   278
\abovedisplayshortskip=0mm plus6pt minus 2pt
nipkow@10410
   279
\belowdisplayshortskip=2mm plus4pt minus 4pt
nipkow@10410
   280
\let\@listi\@listI}   % Setting of \@listi added 9 Jun 87
nipkow@10410
   281
%
nipkow@10410
   282
\def\small{\@setsize\small{10pt}\ixpt\@ixpt
nipkow@10410
   283
\abovedisplayskip 8.5\p@ plus3\p@ minus4\p@
nipkow@10410
   284
\belowdisplayskip \abovedisplayskip
nipkow@10410
   285
\abovedisplayshortskip \z@ plus2\p@
nipkow@10410
   286
\belowdisplayshortskip 4\p@ plus2\p@ minus2\p@
nipkow@10410
   287
\def\@listi{\leftmargin\leftmargini
nipkow@10410
   288
\topsep 4pt plus 2pt minus 2pt\parsep\parskip
nipkow@10410
   289
\itemsep\parskip}}
nipkow@10410
   290
%
nipkow@10410
   291
\def\itemize{\ifnum \@itemdepth >3 \@toodeep\else \advance\@itemdepth \@ne
nipkow@10410
   292
\ifnum \@itemdepth=1 \leftmargini=10\p@
nipkow@10410
   293
\labelwidth\leftmargini\advance\labelwidth-\labelsep
nipkow@10410
   294
\leftmarginii=\leftmargini \leftmarginiii=\leftmargini \fi
nipkow@10410
   295
\edef\@itemitem{labelitem\romannumeral\the\@itemdepth}%
nipkow@10410
   296
\list{\csname\@itemitem\endcsname}{\def\makelabel##1{\rlap{##1}\hss}}\fi}
nipkow@10410
   297
%
nipkow@10410
   298
\newdimen\verbatimindent \verbatimindent\parindent
nipkow@10410
   299
\def\verbatim{\advance\@totalleftmargin by\verbatimindent
nipkow@10410
   300
\@verbatim \frenchspacing\@vobeyspaces \@xverbatim}
nipkow@10410
   301
%
nipkow@10410
   302
\let\footnotesize=\small
nipkow@10410
   303
%
nipkow@10410
   304
\def\petit{\par\addvspace{6pt}\small}
nipkow@10410
   305
\def\endpetit{\par\addvspace{6pt}}
nipkow@10410
   306
%
nipkow@10410
   307
\raggedbottom
nipkow@10410
   308
\normalsize  % Choose the normalsize font.
nipkow@10410
   309
% This is texte.tex
nipkow@10410
   310
% it defines various texts and their translations
nipkow@10410
   311
% called up with documentstyle options
nipkow@10410
   312
\def\abstractname{Summary.}
nipkow@10410
   313
\def\ackname{Acknowledgement.}
nipkow@10410
   314
\def\andname{and}
nipkow@10410
   315
\def\lastandname{, and}
nipkow@10410
   316
\def\appendixname{Appendix}
nipkow@10410
   317
\def\chaptername{Chapter}
nipkow@10410
   318
\def\claimname{Claim}
nipkow@10410
   319
\def\conjecturename{Conjecture}
nipkow@10410
   320
\def\contentsname{Table of Contents}
nipkow@10410
   321
\def\corollaryname{Corollary}
nipkow@10410
   322
\def\definitionname{Definition}
nipkow@10410
   323
\def\examplename{Example}
nipkow@10410
   324
\def\exercisename{Exercise}
nipkow@10410
   325
\def\figurename{Fig.}
nipkow@10410
   326
\def\keywordname{{\bf Key words:}}
nipkow@10410
   327
\def\indexname{Index}
nipkow@10410
   328
\def\lemmaname{Lemma}
nipkow@10410
   329
\def\contriblistname{List of Contributors}
nipkow@10410
   330
\def\listfigurename{List of Figures}
nipkow@10410
   331
\def\listtablename{List of Tables}
nipkow@10410
   332
\def\mailname{{\it Correspondence to\/}:}
nipkow@10410
   333
\def\noteaddname{Note added in proof}
nipkow@10410
   334
\def\notename{Note}
nipkow@10410
   335
\def\partname{Part}
nipkow@10410
   336
\def\problemname{Problem}
nipkow@10410
   337
\def\proofname{Proof}
nipkow@10410
   338
\def\propertyname{Property}
nipkow@10410
   339
\def\propositionname{Proposition}
nipkow@10410
   340
\def\questionname{Question}
nipkow@10410
   341
\def\remarkname{Remark}
nipkow@10410
   342
\def\seename{see}
nipkow@10410
   343
\def\solutionname{Solution}
nipkow@10410
   344
\def\subclassname{{\it Subject Classifications\/}:}
nipkow@10410
   345
\def\tablename{Table}
nipkow@10410
   346
\def\theoremname{Theorem}
nipkow@10410
   347
% Names of theorem like environments are already defined
nipkow@10410
   348
% but must be translated if another language is chosen
nipkow@10410
   349
%
nipkow@10410
   350
% French section
nipkow@10410
   351
\def\ds@francais{\typeout{On parle francais.}%
nipkow@10410
   352
 \def\abstractname{R\'esum\'e.}%
nipkow@10410
   353
 \def\ackname{Remerciements.}%
nipkow@10410
   354
 \def\andname{et}%
nipkow@10410
   355
 \def\lastandname{ et}%
nipkow@10410
   356
 \def\appendixname{Appendice}
nipkow@10410
   357
 \def\chaptername{Chapitre}%
nipkow@10410
   358
 \def\claimname{Pr\'etention}%
nipkow@10410
   359
 \def\conjecturename{Hypoth\`ese}%
nipkow@10410
   360
 \def\contentsname{Table des mati\`eres}%
nipkow@10410
   361
 \def\corollaryname{Corollaire}%
nipkow@10410
   362
 \def\definitionname{D\'efinition}%
nipkow@10410
   363
 \def\examplename{Exemple}%
nipkow@10410
   364
 \def\exercisename{Exercice}%
nipkow@10410
   365
 \def\figurename{Fig.}%
nipkow@10410
   366
 \def\keywordname{{\bf Mots-cl\'e:}}
nipkow@10410
   367
 \def\indexname{Index}
nipkow@10410
   368
 \def\lemmaname{Lemme}%
nipkow@10410
   369
 \def\contriblistname{Liste des contributeurs}
nipkow@10410
   370
 \def\listfigurename{Liste des figures}%
nipkow@10410
   371
 \def\listtablename{Liste des tables}%
nipkow@10410
   372
 \def\mailname{{\it Correspondence to\/}:}
nipkow@10410
   373
 \def\noteaddname{Note ajout\'ee \`a l'\'epreuve}%
nipkow@10410
   374
 \def\notename{Remarque}%
nipkow@10410
   375
 \def\partname{Partie}%
nipkow@10410
   376
 \def\problemname{Probl\`eme}%
nipkow@10410
   377
 \def\proofname{\'Epreuve}%
nipkow@10410
   378
 \def\propertyname{Caract\'eristique}%
nipkow@10410
   379
%\def\propositionname{Proposition}%
nipkow@10410
   380
 \def\questionname{Question}%
nipkow@10410
   381
 \def\remarkname{Remarque}%
nipkow@10410
   382
 \def\seename{voir}
nipkow@10410
   383
 \def\solutionname{Solution}%
nipkow@10410
   384
 \def\subclassname{{\it Subject Classifications\/}:}
nipkow@10410
   385
 \def\tablename{Tableau}%
nipkow@10410
   386
 \def\theoremname{Th\'eor\`eme}%
nipkow@10410
   387
}
nipkow@10410
   388
%
nipkow@10410
   389
% German section
nipkow@10410
   390
\def\ds@deutsch{\typeout{Man spricht deutsch.}%
nipkow@10410
   391
 \def\abstractname{Zusammenfassung.}%
nipkow@10410
   392
 \def\ackname{Danksagung.}%
nipkow@10410
   393
 \def\andname{und}%
nipkow@10410
   394
 \def\lastandname{ und}%
nipkow@10410
   395
 \def\appendixname{Anhang}%
nipkow@10410
   396
 \def\chaptername{Kapitel}%
nipkow@10410
   397
 \def\claimname{Behauptung}%
nipkow@10410
   398
 \def\conjecturename{Hypothese}%
nipkow@10410
   399
 \def\contentsname{Inhaltsverzeichnis}%
nipkow@10410
   400
 \def\corollaryname{Korollar}%
nipkow@10410
   401
%\def\definitionname{Definition}%
nipkow@10410
   402
 \def\examplename{Beispiel}%
nipkow@10410
   403
 \def\exercisename{\"Ubung}%
nipkow@10410
   404
 \def\figurename{Abb.}%
nipkow@10410
   405
 \def\keywordname{{\bf Schl\"usselw\"orter:}}
nipkow@10410
   406
 \def\indexname{Index}
nipkow@10410
   407
%\def\lemmaname{Lemma}%
nipkow@10410
   408
 \def\contriblistname{Mitarbeiter}
nipkow@10410
   409
 \def\listfigurename{Abbildungsverzeichnis}%
nipkow@10410
   410
 \def\listtablename{Tabellenverzeichnis}%
nipkow@10410
   411
 \def\mailname{{\it Correspondence to\/}:}
nipkow@10410
   412
 \def\noteaddname{Nachtrag}%
nipkow@10410
   413
 \def\notename{Anmerkung}%
nipkow@10410
   414
 \def\partname{Teil}%
nipkow@10410
   415
%\def\problemname{Problem}%
nipkow@10410
   416
 \def\proofname{Beweis}%
nipkow@10410
   417
 \def\propertyname{Eigenschaft}%
nipkow@10410
   418
%\def\propositionname{Proposition}%
nipkow@10410
   419
 \def\questionname{Frage}%
nipkow@10410
   420
 \def\remarkname{Anmerkung}%
nipkow@10410
   421
 \def\seename{siehe}
nipkow@10410
   422
 \def\solutionname{L\"osung}%
nipkow@10410
   423
 \def\subclassname{{\it Subject Classifications\/}:}
nipkow@10410
   424
 \def\tablename{Tabelle}%
nipkow@10410
   425
%\def\theoremname{Theorem}%
nipkow@10410
   426
}
nipkow@10410
   427
nipkow@10410
   428
nipkow@10410
   429
nipkow@10410
   430
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
nipkow@10410
   431
%
nipkow@10410
   432
%             This is titneu.xxx
nipkow@10410
   433
%
nipkow@10410
   434
% It redefines titles. Usage is like Lamport described.
nipkow@10410
   435
%
nipkow@10410
   436
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
nipkow@10410
   437
\setcounter{secnumdepth}{2}           % depth of the highest-level
nipkow@10410
   438
                                      % sectioning command
nipkow@10410
   439
\newcounter{chapter}                  % to use chapter together with
nipkow@10410
   440
\@addtoreset{section}{chapter}        % article.sty
nipkow@10410
   441
\@addtoreset{footnote}{chapter}
nipkow@10410
   442
nipkow@10410
   443
\def\thechapter{\arabic{chapter}}     % how titles will be typeset
nipkow@10410
   444
\def\thesection{\thechapter.\arabic{section}}
nipkow@10410
   445
\def\thesubsection{\thesection.\arabic{subsection}}
nipkow@10410
   446
\def\thesubsubsection{\thesubsection.\arabic{subsubsection}}
nipkow@10410
   447
\def\theparagraph{\thesubsubsection.\arabic{paragraph}}
nipkow@10410
   448
\def\thesubparagraph{\theparagraph.\arabic{subparagraph}}
nipkow@10410
   449
\def\chaptermark#1{}
nipkow@10410
   450
\def\sec@hangfrom#1{\setbox\@tempboxa\hbox{#1}%
nipkow@10410
   451
      \hangindent \z@\noindent\box\@tempboxa}
nipkow@10410
   452
nipkow@10410
   453
% definition of chapter
nipkow@10410
   454
nipkow@10410
   455
\def\@chapapp{\chaptername}
nipkow@10410
   456
nipkow@10410
   457
\def\@makechapterhead#1{{\parindent0pt\raggedright
nipkow@10410
   458
  \hyphenpenalty \@M
nipkow@10410
   459
  \Large\bf\boldmath
nipkow@10410
   460
  \sec@hangfrom{\thechapter\thechapterend\hskip\betweenumberspace}%!!!
nipkow@10410
   461
  \ignorespaces#1\par
nipkow@10410
   462
  \ifdim\pagetotal>118pt
nipkow@10410
   463
     \vskip 24pt
nipkow@10410
   464
  \else
nipkow@10410
   465
     \@tempdima=118pt\advance\@tempdima by-\pagetotal
nipkow@10410
   466
     \vskip\@tempdima
nipkow@10410
   467
  \fi}}
nipkow@10410
   468
nipkow@10410
   469
\def\@makeschapterhead#1{{\parindent0pt\raggedright
nipkow@10410
   470
  \hyphenpenalty \@M
nipkow@10410
   471
  \Large\bf\boldmath
nipkow@10410
   472
  \ignorespaces#1\par
nipkow@10410
   473
  \ifdim\pagetotal>118pt
nipkow@10410
   474
     \vskip 24pt
nipkow@10410
   475
  \else
nipkow@10410
   476
     \@tempdima=118pt\advance\@tempdima by-\pagetotal
nipkow@10410
   477
     \vskip\@tempdima
nipkow@10410
   478
  \fi}}
nipkow@10410
   479
nipkow@10410
   480
\newcommand{\clearemptydoublepage}{%
nipkow@10410
   481
        \newpage{\pagestyle{empty}\cleardoublepage}}
nipkow@10410
   482
nipkow@10410
   483
\def\chapter{\clearemptydoublepage\thispagestyle{empty}
nipkow@10410
   484
   \global\@topnum\z@\@afterindentfalse
nipkow@10410
   485
   \secdef\@chapter\@schapter}
nipkow@10410
   486
nipkow@10410
   487
\def\@chapter[#1]#2{\ifnum\c@secnumdepth>\m@ne
nipkow@10410
   488
   \refstepcounter{chapter}
nipkow@10410
   489
   \typeout{\@chapapp\space\thechapter}
nipkow@10410
   490
   \addcontentsline{toc}{chapter}{\protect
nipkow@10410
   491
      \numberline{\thechapter\thechapterend}#1}\else %!!!
nipkow@10410
   492
      \addcontentsline{toc}{chapter}{#1}
nipkow@10410
   493
   \fi
nipkow@10410
   494
   \chaptermark{#1}
nipkow@10410
   495
   \addtocontents{lof}{\protect\addvspace{10pt}}
nipkow@10410
   496
   \addtocontents{lot}{\protect\addvspace{10pt}}
nipkow@10410
   497
   \if@twocolumn
nipkow@10410
   498
       \@topnewpage[\@makechapterhead{#2}]
nipkow@10410
   499
   \else \@makechapterhead{#2}
nipkow@10410
   500
           \@afterheading
nipkow@10410
   501
   \fi}
nipkow@10410
   502
nipkow@10410
   503
\def\@schapter#1{\if@twocolumn\@topnewpage[\@makeschapterhead{#1}]
nipkow@10410
   504
        \else \@makeschapterhead{#1}
nipkow@10410
   505
              \@afterheading\fi}
nipkow@10410
   506
nipkow@10410
   507
% Appendix
nipkow@10410
   508
\def\appendix{\par
nipkow@10410
   509
  \setcounter{chapter}{0}%
nipkow@10410
   510
  \setcounter{section}{0}%
nipkow@10410
   511
  \def\@chapapp{\appendixname}%
nipkow@10410
   512
  \def\thechapter{\Alph{chapter}}}
nipkow@10410
   513
nipkow@10410
   514
%  definition of sections
nipkow@10410
   515
%  \hyphenpenalty and \raggedright added, so that there is no
nipkow@10410
   516
%  hyphenation and the text is set ragged-right in sectioning
nipkow@10410
   517
nipkow@10410
   518
\def\runinsep{.}
nipkow@10410
   519
\def\aftertext{\unskip\runinsep}
nipkow@10410
   520
nipkow@10410
   521
\def\@sect#1#2#3#4#5#6[#7]#8{\ifnum #2>\c@secnumdepth
nipkow@10410
   522
   \let\@svsec\@empty\else
nipkow@10410
   523
   \refstepcounter{#1}\edef\@svsec{\csname the#1\endcsname
nipkow@10410
   524
                                   \hskip\betweenumberspace
nipkow@10410
   525
                                   \ignorespaces}\fi
nipkow@10410
   526
   \@tempskipa #5\relax
nipkow@10410
   527
    \ifdim \@tempskipa>\z@
nipkow@10410
   528
      \begingroup #6\relax
nipkow@10410
   529
        \sec@hangfrom{\hskip #3\relax\@svsec}{%
nipkow@10410
   530
        \raggedright
nipkow@10410
   531
        \hyphenpenalty \@M
nipkow@10410
   532
        \interlinepenalty \@M #8\par}%
nipkow@10410
   533
      \endgroup
nipkow@10410
   534
     \csname #1mark\endcsname{#7}\addcontentsline
nipkow@10410
   535
       {toc}{#1}{\ifnum #2>\c@secnumdepth \else
nipkow@10410
   536
                    \protect\numberline{\csname the#1\endcsname}\fi
nipkow@10410
   537
                  #7}\else
nipkow@10410
   538
     \def\@svsechd{#6\hskip #3\relax
nipkow@10410
   539
                \@svsec #8\aftertext\ignorespaces
nipkow@10410
   540
                    \csname #1mark\endcsname
nipkow@10410
   541
                    {#7}\addcontentsline
nipkow@10410
   542
                         {toc}{#1}{\ifnum #2>\c@secnumdepth \else
nipkow@10410
   543
                           \protect\numberline{\csname the#1\endcsname}\fi
nipkow@10410
   544
                     #7}}\fi
nipkow@10410
   545
   \@xsect{#5}}
nipkow@10410
   546
nipkow@10410
   547
% measures and setting of sections
nipkow@10410
   548
nipkow@10410
   549
\def\section{\@startsection{section}{1}{\z@}%
nipkow@10410
   550
    {-25pt plus-4pt minus-4pt}{12.5pt plus4pt
nipkow@10410
   551
     minus4pt}{\large\bf\boldmath}}
nipkow@10410
   552
\def\subsection{\@startsection{subsection}{2}{\z@}%
nipkow@10410
   553
    {-17pt plus-4pt minus-4pt}{10pt plus4pt
nipkow@10410
   554
     minus4pt}{\normalsize\bf\boldmath}}
nipkow@10410
   555
\def\subsubsection{\@startsection{subsubsection}{3}{\z@}%
nipkow@10410
   556
    {-5.388pt plus-4pt minus-4pt}{-5pt}{\normalsize\bf\boldmath}}
nipkow@10410
   557
\def\paragraph{\@startsection{paragraph}{4}{\z@}%
nipkow@10410
   558
    {-5.388pt plus-4pt minus-4pt}{-5pt}{\normalsize\it}}
nipkow@10410
   559
\def\subparagraph{\@startsection{subparagraph}{5}{\z@}%
nipkow@10410
   560
    {-5.388pt plus-4pt minus-4pt}{-5pt}{\normalsize\it}}
nipkow@10410
   561
nipkow@10410
   562
%  definition of \part
nipkow@10410
   563
\def\thepart{\Roman{part}}
nipkow@10410
   564
\def\part{\clearemptydoublepage   % Starts new page.
nipkow@10410
   565
   \thispagestyle{empty}     % Page style of part page is empty
nipkow@10410
   566
  \if@twocolumn              % IF two-column style
nipkow@10410
   567
     \onecolumn              %  THEN \onecolumn
nipkow@10410
   568
     \@tempswatrue           %       @tempswa := true
nipkow@10410
   569
    \else \@tempswafalse     %  ELSE @tempswa := false
nipkow@10410
   570
  \fi                        % FI
nipkow@10410
   571
% \hbox{}\vfil               % Add fil glue to center title
nipkow@10410
   572
%%  \bgroup  \centering      % BEGIN centering %% Removed 19 Jan 88
nipkow@10410
   573
  \secdef\@part\@spart}
nipkow@10410
   574
nipkow@10410
   575
nipkow@10410
   576
\def\@part[#1]#2{\ifnum \c@secnumdepth >-2\relax  % IF secnumdepth > -2
nipkow@10410
   577
        \refstepcounter{part}                     %   THEN step part counter
nipkow@10410
   578
        \addcontentsline{toc}{part}{\partname\    %        add toc line
nipkow@10410
   579
        \thepart. #1}\else                        %   ELSE add unnumbered line
nipkow@10410
   580
        \addcontentsline{toc}{part}{#1}\fi        % FI
nipkow@10410
   581
   \markboth{}{}
nipkow@10410
   582
   {\raggedleft                      % added 8.1.92 FUH
nipkow@10410
   583
    \ifnum \c@secnumdepth >-2\relax  % IF secnumdepth > -2
nipkow@10410
   584
      \Large\partname\ \thepart      %   THEN Print 'Part' and number
nipkow@10410
   585
    \par                             %         in \Large
nipkow@10410
   586
    \vskip 103.3pt \fi               %        Add space before title.
nipkow@10410
   587
    \bf\boldmath                     % FI
nipkow@10410
   588
    #2\par}\@endpart}                % Print Title in \Large bold.
nipkow@10410
   589
nipkow@10410
   590
nipkow@10410
   591
% \@endpart finishes the part page
nipkow@10410
   592
%
nipkow@10410
   593
\def\@endpart{\vfil\newpage   % End page with 1fil glue.
nipkow@10410
   594
   \if@twoside                % IF twoside printing
nipkow@10410
   595
       \hbox{}                %   THEN Produce totally blank page
nipkow@10410
   596
       \thispagestyle{empty}
nipkow@10410
   597
       \newpage
nipkow@10410
   598
   \fi                        % FI
nipkow@10410
   599
   \if@tempswa                % IF @tempswa = true
nipkow@10410
   600
     \twocolumn               %   THEN \twocolumn
nipkow@10410
   601
   \fi}                       % FI
nipkow@10410
   602
nipkow@10410
   603
\def\@spart#1{{\raggedleft     % added 8 Jan 92 FUH
nipkow@10410
   604
   \Large\bf\boldmath          % Print title in \Large-boldface
nipkow@10410
   605
   #1\par}\@endpart}
nipkow@10410
   606
nipkow@10410
   607
\def\subtitle#1{\gdef\@subtitle{#1}}
nipkow@10410
   608
\def\@subtitle{}
nipkow@10410
   609
nipkow@10410
   610
\def\maketitle{\par
nipkow@10410
   611
 \begingroup
nipkow@10410
   612
   \def\thefootnote{\fnsymbol{footnote}}%
nipkow@10410
   613
   \def\@makefnmark{\hbox
nipkow@10410
   614
       to\z@{$\m@th^{\@thefnmark}$\hss}}%
nipkow@10410
   615
   \if@twocolumn
nipkow@10410
   616
     \twocolumn[\@maketitle]%
nipkow@10410
   617
     \else \newpage
nipkow@10410
   618
     \global\@topnum\z@   % Prevents figures from going at top of page.
nipkow@10410
   619
     \@maketitle \fi\thispagestyle{empty}\@thanks
nipkow@10410
   620
     \par\penalty -\@M
nipkow@10410
   621
 \endgroup
nipkow@10410
   622
 \setcounter{footnote}{0}%
nipkow@10410
   623
 \let\maketitle\relax
nipkow@10410
   624
 \let\@maketitle\relax
nipkow@10410
   625
 \gdef\@thanks{}\gdef\@author{}\gdef\@title{}\let\thanks\relax}
nipkow@10410
   626
nipkow@10410
   627
\def\@maketitle{\newpage
nipkow@10410
   628
 \null
nipkow@10410
   629
 \vskip 2em                 % Vertical space above title.
nipkow@10410
   630
\begingroup
nipkow@10410
   631
  \def\and{\unskip, }
nipkow@10410
   632
  \parindent=\z@
nipkow@10410
   633
  \pretolerance=10000
nipkow@10410
   634
  \rightskip=0pt plus 3cm
nipkow@10410
   635
  {\LARGE                   % each author set in \LARGE
nipkow@10410
   636
   \lineskip .5em
nipkow@10410
   637
   \@author
nipkow@10410
   638
   \par}%
nipkow@10410
   639
  \vskip 2cm                % Vertical space after author.
nipkow@10410
   640
  {\Huge \@title \par}%     % Title set in \Huge size.
nipkow@10410
   641
  \vskip 1cm                % Vertical space after title.
nipkow@10410
   642
  \if!\@subtitle!\else
nipkow@10410
   643
   {\LARGE\ignorespaces\@subtitle \par}
nipkow@10410
   644
   \vskip 1cm                % Vertical space after subtitle.
nipkow@10410
   645
  \fi
nipkow@10410
   646
  \if!\@date!\else
nipkow@10410
   647
    {\large \@date}%          % Date set in \large size.
nipkow@10410
   648
    \par
nipkow@10410
   649
    \vskip 1.5em               % Vertical space after date.
nipkow@10410
   650
  \fi
nipkow@10410
   651
 \vfill
nipkow@10410
   652
 {\Large Springer-\kern-0.1em Verlag\par}
nipkow@10410
   653
 \vskip 5pt
nipkow@10410
   654
 \large
nipkow@10410
   655
   Berlin\enspace Heidelberg\enspace New\kern0.1em York\\
nipkow@10410
   656
   London\enspace Paris\enspace Tokyo\\
nipkow@10410
   657
   Hong\thinspace Kong\enspace Barcelona\\
nipkow@10410
   658
   Budapest\par
nipkow@10410
   659
\endgroup}
nipkow@10410
   660
nipkow@10410
   661
\def\abstract{\if@twocolumn
nipkow@10410
   662
\section*{\abstractname}%
nipkow@10410
   663
\else \small
nipkow@10410
   664
\begin{center}%
nipkow@10410
   665
{\bf \abstractname\vspace{-.5em}\vspace{\z@}}%
nipkow@10410
   666
\end{center}%
nipkow@10410
   667
\quotation
nipkow@10410
   668
\fi}
nipkow@10410
   669
nipkow@10410
   670
\def\endabstract{\if@twocolumn\else\endquotation\fi}
nipkow@10410
   671
nipkow@10410
   672
nipkow@10410
   673
nipkow@10410
   674
nipkow@10410
   675
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
nipkow@10410
   676
%
nipkow@10410
   677
%             This is toc.xxx
nipkow@10410
   678
%
nipkow@10410
   679
% it modifies the appearence of the table of contents
nipkow@10410
   680
%
nipkow@10410
   681
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
nipkow@10410
   682
\def\tableofcontents{\@restonecolfalse\if@twocolumn\@restonecoltrue\onecolumn
nipkow@10410
   683
 \fi\chapter*{\contentsname \@mkboth{{\contentsname}}{{\contentsname}}}
nipkow@10410
   684
 \@starttoc{toc}\if@restonecol\twocolumn\fi}
nipkow@10410
   685
nipkow@10410
   686
\setcounter{tocdepth}{2}
nipkow@10410
   687
nipkow@10410
   688
\def\l@part#1#2{\addpenalty{\@secpenalty}%
nipkow@10410
   689
   \addvspace{2em plus\p@}%  % space above part line
nipkow@10410
   690
   \begingroup
nipkow@10410
   691
     \parindent \z@
nipkow@10410
   692
     \rightskip \z@ plus 5em
nipkow@10410
   693
     \hrule\vskip5pt
nipkow@10410
   694
     \bf\boldmath        % set line in boldface
nipkow@10410
   695
     \leavevmode          % TeX command to enter horizontal mode.
nipkow@10410
   696
     #1\par
nipkow@10410
   697
     \vskip5pt
nipkow@10410
   698
     \hrule
nipkow@10410
   699
     \vskip1pt
nipkow@10410
   700
     \nobreak             % Never break after part entry
nipkow@10410
   701
   \endgroup}
nipkow@10410
   702
nipkow@10410
   703
\def\@dotsep{2}
nipkow@10410
   704
nipkow@10410
   705
\def\l@chapter#1#2{\addpenalty{-\@highpenalty}
nipkow@10410
   706
 \vskip 1.0em plus 1pt \@tempdima \tocchpnum \begingroup
nipkow@10410
   707
 \parindent \z@ \rightskip \@pnumwidth
nipkow@10410
   708
 \parfillskip -\@pnumwidth
nipkow@10410
   709
 \leavevmode \advance\leftskip\@tempdima \hskip -\leftskip
nipkow@10410
   710
 {\bf\boldmath#1}\nobreak
nipkow@10410
   711
 \leaders\hbox{$\m@th \mkern \@dotsep mu.\mkern
nipkow@10410
   712
 \@dotsep mu$}\hfill
nipkow@10410
   713
 \nobreak\hbox to\@pnumwidth{\hss #2}\par
nipkow@10410
   714
 \penalty\@highpenalty \endgroup}
nipkow@10410
   715
nipkow@10410
   716
\newdimen\tocchpnum
nipkow@10410
   717
\newdimen\tocsecnum
nipkow@10410
   718
\newdimen\tocsectotal
nipkow@10410
   719
\newdimen\tocsubsecnum
nipkow@10410
   720
\newdimen\tocsubsectotal
nipkow@10410
   721
\newdimen\tocsubsubsecnum
nipkow@10410
   722
\newdimen\tocsubsubsectotal
nipkow@10410
   723
\newdimen\tocparanum
nipkow@10410
   724
\newdimen\tocparatotal
nipkow@10410
   725
\newdimen\tocsubparanum
nipkow@10410
   726
\tocchpnum=20\p@            % chapter {\bf 88.} plus 5.3pt
nipkow@10410
   727
\tocsecnum=22.5\p@          % section 88.8. plus 4.722pt
nipkow@10410
   728
\tocsubsecnum=30.5\p@       % subsection 88.8.8 plus 4.944pt
nipkow@10410
   729
\tocsubsubsecnum=38\p@      % subsubsection 88.8.8.8 plus 4.666pt
nipkow@10410
   730
\tocparanum=45\p@           % paragraph 88.8.8.8.8 plus 3.888pt
nipkow@10410
   731
\tocsubparanum=53\p@        % subparagraph 88.8.8.8.8.8 plus 4.11pt
nipkow@10410
   732
\def\calctocindent{%
nipkow@10410
   733
\tocsectotal=\tocchpnum
nipkow@10410
   734
\advance\tocsectotal by\tocsecnum
nipkow@10410
   735
\tocsubsectotal=\tocsectotal
nipkow@10410
   736
\advance\tocsubsectotal by\tocsubsecnum
nipkow@10410
   737
\tocsubsubsectotal=\tocsubsectotal
nipkow@10410
   738
\advance\tocsubsubsectotal by\tocsubsubsecnum
nipkow@10410
   739
\tocparatotal=\tocsubsubsectotal
nipkow@10410
   740
\advance\tocparatotal by\tocparanum}
nipkow@10410
   741
\calctocindent
nipkow@10410
   742
nipkow@10410
   743
\def\l@section{\@dottedtocline{1}{\tocchpnum}{\tocsecnum}}
nipkow@10410
   744
\def\l@subsection{\@dottedtocline{2}{\tocsectotal}{\tocsubsecnum}}
nipkow@10410
   745
\def\l@subsubsection{\@dottedtocline{3}{\tocsubsectotal}{\tocsubsubsecnum}}
nipkow@10410
   746
\def\l@paragraph{\@dottedtocline{4}{\tocsubsubsectotal}{\tocparanum}}
nipkow@10410
   747
\def\l@subparagraph{\@dottedtocline{5}{\tocparatotal}{\tocsubparanum}}
nipkow@10410
   748
nipkow@10410
   749
\def\listoffigures{\@restonecolfalse\if@twocolumn\@restonecoltrue\onecolumn
nipkow@10410
   750
 \fi\chapter*{\listfigurename\@mkboth{{\listfigurename}}{{\listfigurename}}}
nipkow@10410
   751
 \@starttoc{lof}\if@restonecol\twocolumn\fi}
nipkow@10410
   752
\def\l@figure{\@dottedtocline{1}{0em}{\tocsecnum}}
nipkow@10410
   753
nipkow@10410
   754
\def\listoftables{\@restonecolfalse\if@twocolumn\@restonecoltrue\onecolumn
nipkow@10410
   755
 \fi\chapter*{\listtablename\@mkboth{{\listtablename}}{{\listtablename}}}
nipkow@10410
   756
 \@starttoc{lot}\if@restonecol\twocolumn\fi}
nipkow@10410
   757
\let\l@table\l@figure
nipkow@10410
   758
nipkow@10410
   759
nipkow@10410
   760
nipkow@10410
   761
nipkow@10410
   762
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
nipkow@10410
   763
%
nipkow@10410
   764
%             This is runnhead.xxx
nipkow@10410
   765
%
nipkow@10410
   766
% It redefines the headings of a text. There are two
nipkow@10410
   767
% pagestyles possible: "\pagestyle{headings}" and
nipkow@10410
   768
% "\pagestyle{myheadings}". "\pagestyle{headings}" is
nipkow@10410
   769
% default.
nipkow@10410
   770
%
nipkow@10410
   771
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
nipkow@10410
   772
%
nipkow@10410
   773
\@ifundefined{thechapterend}{\def\thechapterend{.}}{}
nipkow@10410
   774
\if@twoside
nipkow@10410
   775
\def\ps@headings{\let\@mkboth\markboth
nipkow@10410
   776
   \def\@oddfoot{}\def\@evenfoot{}
nipkow@10410
   777
   \def\@evenhead{\small\rm\rlap{\thepage}\hskip\headlineindent
nipkow@10410
   778
                  \leftmark\hfil}
nipkow@10410
   779
   \def\@oddhead{\hfil\small\rm\rightmark\hskip\headlineindent
nipkow@10410
   780
                  \llap{\thepage}}
nipkow@10410
   781
   \def\chaptermark##1{\markboth{{\ifnum\c@secnumdepth>\m@ne
nipkow@10410
   782
      \thechapter\thechapterend\hskip\betweenumberspace\fi ##1}}{{\ifnum %!!!
nipkow@10410
   783
      \c@secnumdepth>\m@ne\thechapter\thechapterend\hskip\betweenumberspace\fi ##1}}}%!!!
nipkow@10410
   784
   \def\sectionmark##1{\markright{{\ifnum\c@secnumdepth>\z@
nipkow@10410
   785
      \thesection\hskip\betweenumberspace\fi ##1}}}}
nipkow@10410
   786
\else \def\ps@headings{\let\@mkboth\markboth
nipkow@10410
   787
   \def\@oddfoot{}\def\@evenfoot{}
nipkow@10410
   788
   \def\@oddhead{\hfil\small\rm\rightmark\hskip\headlineindent
nipkow@10410
   789
                 \llap{\thepage}}
nipkow@10410
   790
   \def\chaptermark##1{\markright{{\ifnum\c@secnumdepth>\m@ne
nipkow@10410
   791
      \thechapter\thechapterend\hskip\betweenumberspace\fi ##1}}}} %!!!
nipkow@10410
   792
\fi
nipkow@10410
   793
\def\ps@myheadings{\let\@mkboth\@gobbletwo
nipkow@10410
   794
   \def\@oddfoot{}\def\@evenfoot{}
nipkow@10410
   795
   \def\@evenhead{\small\rm\rlap{\thepage}\hskip\headlineindent
nipkow@10410
   796
                  \leftmark\hfil}
nipkow@10410
   797
   \def\@oddhead{\hfil\small\rm\rightmark\hskip\headlineindent
nipkow@10410
   798
                  \llap{\thepage}}
nipkow@10410
   799
   \def\chaptermark##1{}
nipkow@10410
   800
   \def\sectionmark##1{}%
nipkow@10410
   801
   \def\subsectionmark##1{}}
nipkow@10410
   802
\ps@headings
nipkow@10410
   803
nipkow@10410
   804
% Definition of the "\spnewtheorem" command.
nipkow@10410
   805
%
nipkow@10410
   806
% Usage:
nipkow@10410
   807
%
nipkow@10410
   808
%     \spnewtheorem{env_nam}{caption}[within]{cap_font}{body_font}
nipkow@10410
   809
% or  \spnewtheorem{env_nam}[numbered_like]{caption}{cap_font}{body_font}
nipkow@10410
   810
% or  \spnewtheorem*{env_nam}{caption}{cap_font}{body_font}
nipkow@10410
   811
%
nipkow@10410
   812
% New is "cap_font" and "body_font". It stands for
nipkow@10410
   813
% fontdefinition of the caption and the text itself.
nipkow@10410
   814
%
nipkow@10410
   815
% "\spnewtheorem*" gives a theorem without number.
nipkow@10410
   816
%
nipkow@10410
   817
% A defined spnewthoerem environment is used as described
nipkow@10410
   818
% by Lamport.
nipkow@10410
   819
%
nipkow@10410
   820
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
nipkow@10410
   821
nipkow@10410
   822
\let\if@envcntreset\iffalse % environment counter is reset each chapter
nipkow@10410
   823
\DeclareOption{envcountreset}{\let\if@envcntreset\iftrue}
nipkow@10410
   824
\let\if@envcntsame\iffalse  % NOT all environments like "Theorem",
nipkow@10410
   825
                            % each using its own counter
nipkow@10410
   826
\DeclareOption{envcountsame}{\let\if@envcntsame\iftrue}
nipkow@10410
   827
\def\envankh{section}       % show \thesection along with theorem number
nipkow@10410
   828
\DeclareOption{envcountchap}{\def\envankh{chapter}%
nipkow@10410
   829
\ExecuteOptions{envcountsect}}
nipkow@10410
   830
\let\if@envcntsect\iftrue   % show \csname the\envankh\endcsname along
nipkow@10410
   831
                            % with environment number
nipkow@10410
   832
\DeclareOption{envcountsect}{\let\if@envcntsect\iftrue}
nipkow@10410
   833
\ProcessOptions
nipkow@10410
   834
nipkow@10410
   835
\def\@thmcountersep{.}
nipkow@10410
   836
\def\@thmcounterend{.}
nipkow@10410
   837
nipkow@10410
   838
\def\spnewtheorem{\@ifstar{\@sthm}{\@Sthm}}
nipkow@10410
   839
nipkow@10410
   840
% definition of \spnewtheorem with number
nipkow@10410
   841
nipkow@10410
   842
\def\@spnthm#1#2{%
nipkow@10410
   843
  \@ifnextchar[{\@spxnthm{#1}{#2}}{\@spynthm{#1}{#2}}}
nipkow@10410
   844
\def\@Sthm#1{\@ifnextchar[{\@spothm{#1}}{\@spnthm{#1}}}
nipkow@10410
   845
nipkow@10410
   846
\def\@spxnthm#1#2[#3]#4#5{\expandafter\@ifdefinable\csname #1\endcsname
nipkow@10410
   847
   {\@definecounter{#1}\@addtoreset{#1}{#3}%
nipkow@10410
   848
   \expandafter\xdef\csname the#1\endcsname{\expandafter\noexpand
nipkow@10410
   849
     \csname the#3\endcsname \noexpand\@thmcountersep \@thmcounter{#1}}%
nipkow@10410
   850
   \expandafter\xdef\csname #1name\endcsname{#2}%
nipkow@10410
   851
   \global\@namedef{#1}{\@spthm{#1}{\csname #1name\endcsname}{#4}{#5}}%
nipkow@10410
   852
                              \global\@namedef{end#1}{\@endtheorem}}}
nipkow@10410
   853
nipkow@10410
   854
\def\@spynthm#1#2#3#4{\expandafter\@ifdefinable\csname #1\endcsname
nipkow@10410
   855
   {\@definecounter{#1}%
nipkow@10410
   856
   \expandafter\xdef\csname the#1\endcsname{\@thmcounter{#1}}%
nipkow@10410
   857
   \expandafter\xdef\csname #1name\endcsname{#2}%
nipkow@10410
   858
   \global\@namedef{#1}{\@spthm{#1}{\csname #1name\endcsname}{#3}{#4}}%
nipkow@10410
   859
                               \global\@namedef{end#1}{\@endtheorem}}}
nipkow@10410
   860
nipkow@10410
   861
\def\@spothm#1[#2]#3#4#5{%
nipkow@10410
   862
  \@ifundefined{c@#2}{\@latexerr{No theorem environment `#2' defined}\@eha}%
nipkow@10410
   863
  {\expandafter\@ifdefinable\csname #1\endcsname
nipkow@10410
   864
  {\global\@namedef{the#1}{\@nameuse{the#2}}%
nipkow@10410
   865
  \expandafter\xdef\csname #1name\endcsname{#3}%
nipkow@10410
   866
  \global\@namedef{#1}{\@spthm{#2}{\csname #1name\endcsname}{#4}{#5}}%
nipkow@10410
   867
  \global\@namedef{end#1}{\@endtheorem}}}}
nipkow@10410
   868
nipkow@10410
   869
\def\@spthm#1#2#3#4{\topsep 7\p@ \@plus2\p@ \@minus4\p@
nipkow@10410
   870
\refstepcounter{#1}%
nipkow@10410
   871
\@ifnextchar[{\@spythm{#1}{#2}{#3}{#4}}{\@spxthm{#1}{#2}{#3}{#4}}}
nipkow@10410
   872
nipkow@10410
   873
\def\@spxthm#1#2#3#4{\@spbegintheorem{#2}{\csname the#1\endcsname}{#3}{#4}%
nipkow@10410
   874
                    \ignorespaces}
nipkow@10410
   875
nipkow@10410
   876
\def\@spythm#1#2#3#4[#5]{\@spopargbegintheorem{#2}{\csname
nipkow@10410
   877
       the#1\endcsname}{#5}{#3}{#4}\ignorespaces}
nipkow@10410
   878
nipkow@10410
   879
\def\@spbegintheorem#1#2#3#4{\trivlist
nipkow@10410
   880
                 \item[\hskip\labelsep{#3#1\ #2\@thmcounterend}]#4}
nipkow@10410
   881
nipkow@10410
   882
\def\@spopargbegintheorem#1#2#3#4#5{\trivlist
nipkow@10410
   883
      \item[\hskip\labelsep{#4#1\ #2}]{#4(#3)\@thmcounterend\ }#5}
nipkow@10410
   884
nipkow@10410
   885
% definition of \spnewtheorem* without number
nipkow@10410
   886
nipkow@10410
   887
\def\@sthm#1#2{\@Ynthm{#1}{#2}}
nipkow@10410
   888
nipkow@10410
   889
\def\@Ynthm#1#2#3#4{\expandafter\@ifdefinable\csname #1\endcsname
nipkow@10410
   890
   {\global\@namedef{#1}{\@Thm{\csname #1name\endcsname}{#3}{#4}}%
nipkow@10410
   891
    \expandafter\xdef\csname #1name\endcsname{#2}%
nipkow@10410
   892
    \global\@namedef{end#1}{\@endtheorem}}}
nipkow@10410
   893
nipkow@10410
   894
\def\@Thm#1#2#3{\topsep 7\p@ \@plus2\p@ \@minus4\p@
nipkow@10410
   895
\@ifnextchar[{\@Ythm{#1}{#2}{#3}}{\@Xthm{#1}{#2}{#3}}}
nipkow@10410
   896
nipkow@10410
   897
\def\@Xthm#1#2#3{\@Begintheorem{#1}{#2}{#3}\ignorespaces}
nipkow@10410
   898
nipkow@10410
   899
\def\@Ythm#1#2#3[#4]{\@Opargbegintheorem{#1}
nipkow@10410
   900
       {#4}{#2}{#3}\ignorespaces}
nipkow@10410
   901
nipkow@10410
   902
\def\@Begintheorem#1#2#3{#3\trivlist
nipkow@10410
   903
                           \item[\hskip\labelsep{#2#1\@thmcounterend}]}
nipkow@10410
   904
nipkow@10410
   905
\def\@Opargbegintheorem#1#2#3#4{#4\trivlist
nipkow@10410
   906
      \item[\hskip\labelsep{#3#1}]{#3(#2)\@thmcounterend\ }}
nipkow@10410
   907
nipkow@10410
   908
% initialize theorem environment
nipkow@10410
   909
nipkow@10410
   910
\if@envcntsect % show section counter
nipkow@10410
   911
   \def\@thmcountersep{.}
nipkow@10410
   912
   \spnewtheorem{theorem}{Theorem}[\envankh]{\bfseries}{\itshape}
nipkow@10410
   913
\else          % theorem counter only
nipkow@10410
   914
   \spnewtheorem{theorem}{Theorem}{\bfseries}{\itshape}
nipkow@10410
   915
   \if@envcntreset
nipkow@10410
   916
      \@addtoreset{theorem}{section}
nipkow@10410
   917
   \else
nipkow@10410
   918
      \@addtoreset{theorem}{chapter}
nipkow@10410
   919
   \fi
nipkow@10410
   920
\fi
nipkow@10410
   921
nipkow@10410
   922
%definition of divers theorem environments
nipkow@10410
   923
\spnewtheorem*{claim}{Claim}{\itshape}{\rmfamily}
nipkow@10410
   924
\spnewtheorem*{proof}{Proof}{\itshape}{\rmfamily}
nipkow@10410
   925
\if@envcntsame % all environments like "Theorem" - using its counter
nipkow@10410
   926
   \def\spn@wtheorem#1#2#3#4{\@spothm{#1}[theorem]{#2}{#3}{#4}}
nipkow@10410
   927
\else % all environments with their own counter
nipkow@10410
   928
   \if@envcntsect % show section counter
nipkow@10410
   929
      \def\spn@wtheorem#1#2#3#4{\@spxnthm{#1}{#2}[\envankh]{#3}{#4}}
nipkow@10410
   930
   \else          % environment counter only
nipkow@10410
   931
      \if@envcntreset % environment counter is reset each section
nipkow@10410
   932
         \def\spn@wtheorem#1#2#3#4{\@spynthm{#1}{#2}{#3}{#4}
nipkow@10410
   933
                                   \@addtoreset{#1}{section}}
nipkow@10410
   934
      \else
nipkow@10410
   935
         \let\spn@wtheorem=\@spynthm
nipkow@10410
   936
      \fi
nipkow@10410
   937
   \fi
nipkow@10410
   938
\fi
nipkow@10410
   939
\spn@wtheorem{case}{Case}{\itshape}{\rmfamily}
nipkow@10410
   940
\spn@wtheorem{conjecture}{Conjecture}{\itshape}{\rmfamily}
nipkow@10410
   941
\spn@wtheorem{corollary}{Corollary}{\bfseries}{\itshape}
nipkow@10410
   942
\spn@wtheorem{definition}{Definition}{\bfseries}{\itshape}
nipkow@10410
   943
\spn@wtheorem{example}{Example}{\itshape}{\rmfamily}
nipkow@10410
   944
%%LCP%% \spn@wtheorem{exercise}{Exercise}{\bfseries}{\rmfamily}
nipkow@10410
   945
\spn@wtheorem{lemma}{Lemma}{\bfseries}{\itshape}
nipkow@10410
   946
\spn@wtheorem{note}{Note}{\itshape}{\rmfamily}
nipkow@10410
   947
\spn@wtheorem{problem}{Problem}{\bfseries}{\rmfamily}
nipkow@10410
   948
\spn@wtheorem{property}{Property}{\itshape}{\rmfamily}
nipkow@10410
   949
\spn@wtheorem{proposition}{Proposition}{\bfseries}{\itshape}
nipkow@10410
   950
\spn@wtheorem{question}{Question}{\itshape}{\rmfamily}
nipkow@10410
   951
\spn@wtheorem{solution}{Solution}{\bfseries}{\rmfamily}
nipkow@10410
   952
\spn@wtheorem{remark}{Remark}{\itshape}{\rmfamily}
nipkow@10410
   953
nipkow@10410
   954
\def\@takefromreset#1#2{%
nipkow@10410
   955
    \def\@tempa{#1}%
nipkow@10410
   956
    \let\@tempd\@elt
nipkow@10410
   957
    \def\@elt##1{%
nipkow@10410
   958
        \def\@tempb{##1}%
nipkow@10410
   959
        \ifx\@tempa\@tempb\else
nipkow@10410
   960
            \@addtoreset{##1}{#2}%
nipkow@10410
   961
        \fi}%
nipkow@10410
   962
    \expandafter\expandafter\let\expandafter\@tempc\csname cl@#2\endcsname
nipkow@10410
   963
    \expandafter\def\csname cl@#2\endcsname{}%
nipkow@10410
   964
    \@tempc
nipkow@10410
   965
    \let\@elt\@tempd}
nipkow@10410
   966
nipkow@10410
   967
\def\theopargself{\def\@spopargbegintheorem##1##2##3##4##5{\trivlist
nipkow@10410
   968
      \item[\hskip\labelsep{##4##1\ ##2}]{##4##3\@thmcounterend\ }##5}
nipkow@10410
   969
                  \def\@Opargbegintheorem##1##2##3##4{##4\trivlist
nipkow@10410
   970
      \item[\hskip\labelsep{##3##1}]{##3##2\@thmcounterend\ }}
nipkow@10410
   971
      }
nipkow@10410
   972
nipkow@10410
   973
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
nipkow@10410
   974
%%
nipkow@10410
   975
%%             This is figure.neu
nipkow@10410
   976
%%
nipkow@10410
   977
%% It redefines the captions for "figure" and "table"
nipkow@10410
   978
%% environments.
nipkow@10410
   979
%%
nipkow@10410
   980
%% There are three new kind of captions: "\firstcaption"
nipkow@10410
   981
%% and "\secondcaption" for captions set side by side.
nipkow@10410
   982
%% Usage for those two commands: like "\caption".
nipkow@10410
   983
%%
nipkow@10410
   984
%% "\sidecaption" with two parms: #1 width of picture
nipkow@10410
   985
%%                                #2 height of picture
nipkow@10410
   986
%%
nipkow@10410
   987
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
nipkow@10410
   988
nipkow@10410
   989
\@ifundefined{floatlegendstyle}{\def\floatlegendstyle{\bfseries}}{}
nipkow@10410
   990
\def\floatcounterend{.\ }
nipkow@10410
   991
\def\capstrut{\vrule\@width\z@\@height\topskip}
nipkow@10410
   992
\@ifundefined{captionstyle}{\def\captionstyle{\normalfont\small}}{}
nipkow@10410
   993
\@ifundefined{instindent}{\newdimen\instindent}{}
nipkow@10410
   994
nipkow@10410
   995
\long\def\@caption#1[#2]#3{\par\addcontentsline{\csname
nipkow@10410
   996
  ext@#1\endcsname}{#1}{\protect\numberline{\csname
nipkow@10410
   997
  the#1\endcsname}{\ignorespaces #2}}\begingroup
nipkow@10410
   998
    \@parboxrestore
nipkow@10410
   999
    \@makecaption{\csname fnum@#1\endcsname}{\ignorespaces #3}\par
nipkow@10410
  1000
  \endgroup}
nipkow@10410
  1001
nipkow@10410
  1002
\def\firstcaption{\refstepcounter\@captype\@dblarg%
nipkow@10410
  1003
            {\@firstcaption\@captype}}
nipkow@10410
  1004
nipkow@10410
  1005
\def\secondcaption{\refstepcounter\@captype\@dblarg%
nipkow@10410
  1006
            {\@secondcaption\@captype}}
nipkow@10410
  1007
nipkow@10410
  1008
\long\def\@firstcaption#1[#2]#3{\addcontentsline{\csname
nipkow@10410
  1009
  ext@#1\endcsname}{#1}{\protect\numberline{\csname
nipkow@10410
  1010
  the#1\endcsname}{\ignorespaces #2}}\begingroup
nipkow@10410
  1011
    \@parboxrestore
nipkow@10410
  1012
    \vskip3pt
nipkow@10410
  1013
    \@maketwocaptions{\csname fnum@#1\endcsname}{\ignorespaces #3}%
nipkow@10410
  1014
    \ignorespaces\hspace{.073\textwidth}\hfil%
nipkow@10410
  1015
  \endgroup}
nipkow@10410
  1016
nipkow@10410
  1017
\long\def\@secondcaption#1[#2]#3{\addcontentsline{\csname
nipkow@10410
  1018
  ext@#1\endcsname}{#1}{\protect\numberline{\csname
nipkow@10410
  1019
  the#1\endcsname}{\ignorespaces #2}}\begingroup
nipkow@10410
  1020
    \@parboxrestore
nipkow@10410
  1021
    \@maketwocaptions{\csname fnum@#1\endcsname}{\ignorespaces #3}\par
nipkow@10410
  1022
  \endgroup}
nipkow@10410
  1023
nipkow@10410
  1024
\long\def\@maketwocaptions#1#2{%
nipkow@10410
  1025
   \parbox[t]{.46\textwidth}{{\floatlegendstyle #1\floatcounterend} #2}}
nipkow@10410
  1026
nipkow@10410
  1027
\newdimen\figgap\figgap=14.2pt
nipkow@10410
  1028
%
nipkow@10410
  1029
\long\def\@makesidecaption#1#2{%
nipkow@10410
  1030
   \setbox0=\vbox{\hsize=\@tempdima
nipkow@10410
  1031
                  \captionstyle{\floatlegendstyle
nipkow@10410
  1032
                                         #1\floatcounterend}#2}%
nipkow@10410
  1033
   \ifdim\instindent<\z@
nipkow@10410
  1034
      \ifdim\ht0>-\instindent
nipkow@10410
  1035
         \advance\instindent by\ht0
nipkow@10410
  1036
         \typeout{^^JClass-Warning: Legend of \string\sidecaption\space for
nipkow@10410
  1037
                     \@captype\space\csname the\@captype\endcsname
nipkow@10410
  1038
                  ^^Jis \the\instindent\space taller than the corresponding float -
nipkow@10410
  1039
                  ^^Jyou'd better switch the environment. }%
nipkow@10410
  1040
         \instindent\z@
nipkow@10410
  1041
      \fi
nipkow@10410
  1042
   \else
nipkow@10410
  1043
      \ifdim\ht0<\instindent
nipkow@10410
  1044
         \advance\instindent by-\ht0
nipkow@10410
  1045
         \advance\instindent by-\dp0\relax
nipkow@10410
  1046
         \advance\instindent by\topskip
nipkow@10410
  1047
         \advance\instindent by-11pt
nipkow@10410
  1048
      \else
nipkow@10410
  1049
         \advance\instindent by-\ht0
nipkow@10410
  1050
         \instindent=-\instindent
nipkow@10410
  1051
         \typeout{^^JClass-Warning: Legend of \string\sidecaption\space for
nipkow@10410
  1052
                     \@captype\space\csname the\@captype\endcsname
nipkow@10410
  1053
                  ^^Jis \the\instindent\space taller than the corresponding float -
nipkow@10410
  1054
                  ^^Jyou'd better switch the environment. }%
nipkow@10410
  1055
         \instindent\z@
nipkow@10410
  1056
      \fi
nipkow@10410
  1057
   \fi
nipkow@10410
  1058
   \parbox[b]{\@tempdima}{\captionstyle{\floatlegendstyle
nipkow@10410
  1059
                                        #1\floatcounterend}#2%
nipkow@10410
  1060
                          \ifdim\instindent>\z@ \\
nipkow@10410
  1061
                               \vrule\@width\z@\@height\instindent
nipkow@10410
  1062
                                     \@depth\z@
nipkow@10410
  1063
                          \fi}}
nipkow@10410
  1064
\def\sidecaption{\@ifnextchar[\sidec@ption{\sidec@ption[b]}}
nipkow@10410
  1065
\def\sidec@ption[#1]#2\caption{%
nipkow@10410
  1066
\setbox\@tempboxa=\hbox{\ignorespaces#2\unskip}%
nipkow@10410
  1067
\if@twocolumn
nipkow@10410
  1068
 \ifdim\hsize<\textwidth\else
nipkow@10410
  1069
   \ifdim\wd\@tempboxa<\columnwidth
nipkow@10410
  1070
      \typeout{Double column float fits into single column -
nipkow@10410
  1071
            ^^Jyou'd better switch the environment. }%
nipkow@10410
  1072
   \fi
nipkow@10410
  1073
 \fi
nipkow@10410
  1074
\fi
nipkow@10410
  1075
  \instindent=\ht\@tempboxa
nipkow@10410
  1076
  \advance\instindent by\dp\@tempboxa
nipkow@10410
  1077
\if t#1
nipkow@10410
  1078
\else
nipkow@10410
  1079
  \instindent=-\instindent
nipkow@10410
  1080
\fi
nipkow@10410
  1081
\@tempdima=\hsize
nipkow@10410
  1082
\advance\@tempdima by-\figgap
nipkow@10410
  1083
\advance\@tempdima by-\wd\@tempboxa
nipkow@10410
  1084
\ifdim\@tempdima<3cm
nipkow@10410
  1085
    \typeout{\string\sidecaption: No sufficient room for the legend;
nipkow@10410
  1086
             using normal \string\caption. }%
nipkow@10410
  1087
   \unhbox\@tempboxa
nipkow@10410
  1088
   \let\@capcommand=\@caption
nipkow@10410
  1089
\else
nipkow@10410
  1090
   \ifdim\@tempdima<4.5cm
nipkow@10410
  1091
      \typeout{\string\sidecaption: Room for the legend very narrow;
nipkow@10410
  1092
               using \string\raggedright. }%
nipkow@10410
  1093
      \toks@\expandafter{\captionstyle\sloppy
nipkow@10410
  1094
                         \rightskip=0ptplus6mm\relax}%
nipkow@10410
  1095
      \def\captionstyle{\the\toks@}%
nipkow@10410
  1096
   \fi
nipkow@10410
  1097
   \let\@capcommand=\@sidecaption
nipkow@10410
  1098
   \leavevmode
nipkow@10410
  1099
   \unhbox\@tempboxa
nipkow@10410
  1100
   \hfill
nipkow@10410
  1101
\fi
nipkow@10410
  1102
\refstepcounter\@captype
nipkow@10410
  1103
\@dblarg{\@capcommand\@captype}}
nipkow@10410
  1104
\long\def\@sidecaption#1[#2]#3{\addcontentsline{\csname
nipkow@10410
  1105
  ext@#1\endcsname}{#1}{\protect\numberline{\csname
nipkow@10410
  1106
  the#1\endcsname}{\ignorespaces #2}}\begingroup
nipkow@10410
  1107
    \@parboxrestore
nipkow@10410
  1108
    \@makesidecaption{\csname fnum@#1\endcsname}{\ignorespaces #3}\par
nipkow@10410
  1109
  \endgroup}
nipkow@10410
  1110
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
nipkow@10410
  1111
nipkow@10410
  1112
\def\fig@type{figure}
nipkow@10410
  1113
nipkow@10410
  1114
\def\leftlegendglue{\hfil}
nipkow@10410
  1115
\newdimen\figcapgap\figcapgap=3pt
nipkow@10410
  1116
\newdimen\tabcapgap\tabcapgap=5.5pt
nipkow@10410
  1117
nipkow@10410
  1118
\long\def\@makecaption#1#2{%
nipkow@10410
  1119
 \captionstyle
nipkow@10410
  1120
 \ifx\@captype\fig@type
nipkow@10410
  1121
   \vskip\figcapgap
nipkow@10410
  1122
 \fi
nipkow@10410
  1123
 \setbox\@tempboxa\hbox{{\floatlegendstyle #1\floatcounterend}%
nipkow@10410
  1124
 \capstrut #2}%
nipkow@10410
  1125
 \ifdim \wd\@tempboxa >\hsize
nipkow@10410
  1126
   {\floatlegendstyle #1\floatcounterend}\capstrut #2\par
nipkow@10410
  1127
 \else
nipkow@10410
  1128
   \hbox to\hsize{\leftlegendglue\unhbox\@tempboxa\hfil}%
nipkow@10410
  1129
 \fi
nipkow@10410
  1130
 \ifx\@captype\fig@type\else
nipkow@10410
  1131
   \vskip\tabcapgap
nipkow@10410
  1132
 \fi}
nipkow@10410
  1133
nipkow@10410
  1134
\newcounter{merk}
nipkow@10410
  1135
\def\endfigure{\resetsubfig\end@float}
nipkow@10410
  1136
\@namedef{endfigure*}{\resetsubfig\end@dblfloat}
nipkow@10410
  1137
\let\resetsubfig\relax
nipkow@10410
  1138
\def\subfigures{\stepcounter{figure}\setcounter{merk}{\value{figure}}%
nipkow@10410
  1139
\setcounter{figure}{0}\def\thefigure{\if@numart\else\thechapter.\fi
nipkow@10410
  1140
\@arabic\c@merk\alph{figure}}%
nipkow@10410
  1141
\def\resetsubfig{\setcounter{figure}{\value{merk}}}}
nipkow@10410
  1142
\let\leftlegendglue\relax
nipkow@10410
  1143
nipkow@10410
  1144
paulson@10500
  1145
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
nipkow@10410
  1146
%
paulson@10500
  1147
% Definition of environment  thebibliography
nipkow@10410
  1148
%
paulson@10500
  1149
% Borrowed from book.cls
nipkow@10410
  1150
%
paulson@10500
  1151
% by lcp
nipkow@10410
  1152
paulson@10500
  1153
\newcommand\bibname{Bibliography}
paulson@10500
  1154
\setlength\bibindent{1.5em}
paulson@10500
  1155
\renewenvironment{thebibliography}[1]
paulson@10500
  1156
     {\chapter*{\bibname
paulson@10500
  1157
        \@mkboth{\MakeUppercase\bibname}{\MakeUppercase\bibname}}%
paulson@10500
  1158
      \list{\@biblabel{\@arabic\c@enumiv}}%
paulson@10500
  1159
           {\settowidth\labelwidth{\@biblabel{#1}}%
paulson@10500
  1160
            \leftmargin\labelwidth
paulson@10500
  1161
            \advance\leftmargin\labelsep
paulson@10500
  1162
            \@openbib@code
paulson@10500
  1163
            \usecounter{enumiv}%
paulson@10500
  1164
            \let\p@enumiv\@empty
paulson@10500
  1165
            \renewcommand\theenumiv{\@arabic\c@enumiv}}%
paulson@10500
  1166
      \sloppy
paulson@10500
  1167
      \clubpenalty4000
paulson@10500
  1168
      \@clubpenalty \clubpenalty
paulson@10500
  1169
      \widowpenalty4000%
paulson@10500
  1170
      \sfcode`\.\@m}
paulson@10500
  1171
     {\def\@noitemerr
paulson@10500
  1172
       {\@latex@warning{Empty `thebibliography' environment}}%
paulson@10500
  1173
      \endlist}
nipkow@10410
  1174
nipkow@10410
  1175
nipkow@10410
  1176
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
nipkow@10410
  1177
%
nipkow@10410
  1178
%             This is fonotebk.xxx
nipkow@10410
  1179
%
nipkow@10410
  1180
% It redefines how footnotes will be typeset.
nipkow@10410
  1181
%
nipkow@10410
  1182
% Usage like described by Lamport.
nipkow@10410
  1183
%
nipkow@10410
  1184
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
nipkow@10410
  1185
\newdimen\footnoterulewidth
nipkow@10410
  1186
  \footnoterulewidth=1.666cm
nipkow@10410
  1187
nipkow@10410
  1188
\def\footnoterule{\kern-3\p@
nipkow@10410
  1189
 \hrule width\footnoterulewidth
nipkow@10410
  1190
 \kern 2.6\p@}
nipkow@10410
  1191
nipkow@10410
  1192
\newdimen\foot@parindent
nipkow@10410
  1193
\foot@parindent 10.83\p@
nipkow@10410
  1194
nipkow@10410
  1195
%\long\def\@makefntext#1{\parindent\foot@parindent\noindent
nipkow@10410
  1196
%         \hbox to\foot@parindent{\hss$\m@th^{\@thefnmark}$\kern3pt}#1}
nipkow@10410
  1197
\long\def\@makefntext#1{\@setpar{\@@par\@tempdima \hsize
nipkow@10410
  1198
         \advance\@tempdima-\foot@parindent\parshape\@ne\foot@parindent
nipkow@10410
  1199
         \@tempdima}\par
nipkow@10410
  1200
         \parindent \foot@parindent\noindent \hbox to \z@{%
nipkow@10410
  1201
         \hss\hss$^{\@thefnmark}$ }#1}
nipkow@10410
  1202
nipkow@10410
  1203
nipkow@10410
  1204
nipkow@10410
  1205
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
nipkow@10410
  1206
%
nipkow@10410
  1207
%             This is environ.tex
nipkow@10410
  1208
%
nipkow@10410
  1209
% It defines the environment for acknowledgements.
nipkow@10410
  1210
%                            and noteadd
nipkow@10410
  1211
%
nipkow@10410
  1212
% Usage e.g.: \begin{acknowledgement}
nipkow@10410
  1213
%                Text
nipkow@10410
  1214
%             \end{acknowledgement}
nipkow@10410
  1215
%
nipkow@10410
  1216
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
nipkow@10410
  1217
% Define `abstract' environment
nipkow@10410
  1218
\def\acknowledgement{\par\addvspace{17pt}\small\rm
nipkow@10410
  1219
\trivlist\item[\hskip\labelsep
nipkow@10410
  1220
{\it\ackname}]}
nipkow@10410
  1221
\def\endacknowledgement{\endtrivlist\addvspace{6pt}}
nipkow@10410
  1222
% Define `noteadd' environment
nipkow@10410
  1223
\def\noteadd{\par\addvspace{17pt}\small\rm
nipkow@10410
  1224
\trivlist\item[\hskip\labelsep
nipkow@10410
  1225
{\it\noteaddname}]}
nipkow@10410
  1226
\def\endnoteadd{\endtrivlist\addvspace{6pt}}
nipkow@10410
  1227
nipkow@10410
  1228
nipkow@10410
  1229
nipkow@10410
  1230
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
nipkow@10410
  1231
%
nipkow@10410
  1232
%             This is item.xxx
nipkow@10410
  1233
%
nipkow@10410
  1234
% It redefines the kind of label for "itemize", "enumerate"
nipkow@10410
  1235
% and "description" environment. The last is extended by
nipkow@10410
  1236
% an optional parameter. Its length is used for overall
nipkow@10410
  1237
% indentation.
nipkow@10410
  1238
%
nipkow@10410
  1239
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
nipkow@10410
  1240
nipkow@10410
  1241
% labels of enumerate
nipkow@10410
  1242
nipkow@10410
  1243
\def\labelenumi{\theenumi.}
nipkow@10410
  1244
\def\labelenumii{\theenumii)}
nipkow@10410
  1245
\def\theenumii{\alph{enumii}}
nipkow@10410
  1246
\def\p@enumii{\theenumi}
nipkow@10410
  1247
nipkow@10410
  1248
% labels of itemize
nipkow@10410
  1249
nipkow@10410
  1250
\def\labelitemi{\bf --}
nipkow@10410
  1251
\def\labelitemii{\bf --}
nipkow@10410
  1252
\def\labelitemiii{$\bullet$}
nipkow@10410
  1253
\def\labelitemiv{$\cdot$}
nipkow@10410
  1254
nipkow@10410
  1255
% labels of description
nipkow@10410
  1256
\def\descriptionlabel#1{\hspace\labelsep #1\hfil}
nipkow@10410
  1257
nipkow@10410
  1258
% make indentations changeable
nipkow@10410
  1259
nipkow@10410
  1260
\def\setitemindent#1{\settowidth{\labelwidth}{#1}%
nipkow@10410
  1261
        \leftmargini\labelwidth
nipkow@10410
  1262
        \advance\leftmargini\labelsep
nipkow@10410
  1263
   \def\@listi{\leftmargin\leftmargini
nipkow@10410
  1264
        \labelwidth\leftmargini\advance\labelwidth by -\labelsep
nipkow@10410
  1265
        \parsep=\parskip
nipkow@10410
  1266
        \topsep=\medskipamount
nipkow@10410
  1267
        \itemsep=\parskip \advance\itemsep by -\parsep}}
nipkow@10410
  1268
\def\setitemitemindent#1{\settowidth{\labelwidth}{#1}%
nipkow@10410
  1269
        \leftmarginii\labelwidth
nipkow@10410
  1270
        \advance\leftmarginii\labelsep
nipkow@10410
  1271
\def\@listii{\leftmargin\leftmarginii
nipkow@10410
  1272
        \labelwidth\leftmarginii\advance\labelwidth by -\labelsep
nipkow@10410
  1273
        \parsep=\parskip
nipkow@10410
  1274
        \topsep=\z@
nipkow@10410
  1275
        \itemsep=\parskip \advance\itemsep by -\parsep}}
nipkow@10410
  1276
%
nipkow@10410
  1277
% adjusted environment "description"
nipkow@10410
  1278
% if an optional parameter (at the first two levels of lists)
nipkow@10410
  1279
% is present, its width is considered to be the widest mark
nipkow@10410
  1280
% throughout the current list.
nipkow@10410
  1281
\def\description{\@ifnextchar[{\@describe}{\list{}{\labelwidth\z@
nipkow@10410
  1282
          \itemindent-\leftmargin \let\makelabel\descriptionlabel}}}
nipkow@10410
  1283
%
nipkow@10410
  1284
\def\describelabel#1{#1\hfil}
nipkow@10410
  1285
\def\@describe[#1]{\relax\ifnum\@listdepth=0
nipkow@10410
  1286
\setitemindent{#1}\else\ifnum\@listdepth=1
nipkow@10410
  1287
\setitemitemindent{#1}\fi\fi
nipkow@10410
  1288
\list{--}{\let\makelabel\describelabel}}
nipkow@10410
  1289
nipkow@10410
  1290
nipkow@10410
  1291
nipkow@10410
  1292
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
nipkow@10410
  1293
%
nipkow@10410
  1294
%             This is index.xxx
nipkow@10410
  1295
%
nipkow@10410
  1296
% It defines miscelaneous addons used for the preparation
nipkow@10410
  1297
% of an index.
nipkow@10410
  1298
%
nipkow@10410
  1299
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
nipkow@10410
  1300
nipkow@10410
  1301
\def\theindex{\@restonecoltrue\if@twocolumn\@restonecolfalse\fi
nipkow@10410
  1302
\columnseprule \z@
nipkow@10410
  1303
\columnsep 1cc\twocolumn[\@makeschapterhead{\indexname}%
nipkow@10410
  1304
    \csname indexstarthook\endcsname]%
nipkow@10410
  1305
    \@mkboth{\indexname}{\indexname}%
nipkow@10410
  1306
    \thispagestyle{empty}\parindent\z@
nipkow@10410
  1307
    \rightskip0\p@ plus 40\p@
nipkow@10410
  1308
    \parskip\z@ plus .3\p@\relax\let\item\@idxitem
nipkow@10410
  1309
    \def\,{\relax\ifmmode\mskip\thinmuskip
nipkow@10410
  1310
           \else\hskip0.2em\ignorespaces\fi}%
nipkow@10410
  1311
    \small\rm}
nipkow@10410
  1312
nipkow@10410
  1313
\def\idxquad{\hskip 10\p@}% space that divides entry from number
nipkow@10410
  1314
nipkow@10410
  1315
\def\@idxitem{\par\hangindent 10\p@}
nipkow@10410
  1316
nipkow@10410
  1317
\def\subitem{\par\setbox0=\hbox{--\enspace}% second order
nipkow@10410
  1318
                \noindent\hangindent\wd0\box0}% index entry
nipkow@10410
  1319
nipkow@10410
  1320
\def\subsubitem{\par\setbox0=\hbox{--\,--\enspace}% third
nipkow@10410
  1321
                \noindent\hangindent\wd0\box0}% order index entry
nipkow@10410
  1322
nipkow@10410
  1323
\def\endtheindex{\if@restonecol\onecolumn\else\clearpage\fi}
nipkow@10410
  1324
nipkow@10410
  1325
\def\indexspace{\par \vskip 10\p@ plus5\p@ minus3\p@\relax}
nipkow@10410
  1326
nipkow@10410
  1327
nipkow@10410
  1328
nipkow@10410
  1329
nipkow@10410
  1330
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
nipkow@10410
  1331
%
nipkow@10410
  1332
%             This is numberbk.xxx
nipkow@10410
  1333
%
nipkow@10410
  1334
% It redefines the kind of numeration for figures,
nipkow@10410
  1335
% tables and equations. With style option "numart" they
nipkow@10410
  1336
% are numbered with "no.", otherwise with "kapno.no."
nipkow@10410
  1337
%
nipkow@10410
  1338
% e.g. \documentstyle[numart]{article} gives a
nipkow@10410
  1339
% numbering like in article.sty defined.
nipkow@10410
  1340
%
nipkow@10410
  1341
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
nipkow@10410
  1342
\def\@takefromreset#1#2{%
nipkow@10410
  1343
    \def\@tempa{#1}%
nipkow@10410
  1344
    \let\@tempd\@elt
nipkow@10410
  1345
    \def\@elt##1{%
nipkow@10410
  1346
        \def\@tempb{##1}%
nipkow@10410
  1347
        \ifx\@tempa\@tempb\else
nipkow@10410
  1348
            \@addtoreset{##1}{#2}%
nipkow@10410
  1349
        \fi}%
nipkow@10410
  1350
    \expandafter\expandafter\let\expandafter\@tempc\csname cl@#2\endcsname
nipkow@10410
  1351
    \expandafter\def\csname cl@#2\endcsname{}%
nipkow@10410
  1352
    \@tempc
nipkow@10410
  1353
    \let\@elt\@tempd
nipkow@10410
  1354
}
nipkow@10410
  1355
%
nipkow@10410
  1356
\def\ds@numart{\@numarttrue
nipkow@10410
  1357
  \@takefromreset{figure}{chapter}%
nipkow@10410
  1358
  \@takefromreset{table}{chapter}%
nipkow@10410
  1359
  \@takefromreset{equation}{chapter}%
nipkow@10410
  1360
  \def\thefigure{\@arabic\c@figure}%
nipkow@10410
  1361
  \def\thetable{\@arabic\c@table}%
nipkow@10410
  1362
  \def\theequation{\arabic{equation}}}
nipkow@10410
  1363
%
nipkow@10410
  1364
\def\thefigure{\thechapter.\@arabic\c@figure}
nipkow@10410
  1365
\def\thetable{\thechapter.\@arabic\c@table}
nipkow@10410
  1366
\def\theequation{\thechapter.\arabic{equation}}
nipkow@10410
  1367
\@addtoreset{figure}{chapter}
nipkow@10410
  1368
\@addtoreset{table}{chapter}
nipkow@10410
  1369
\@addtoreset{equation}{chapter}
nipkow@10410
  1370
\endinput
nipkow@10410
  1371