/[cvs]/reversible_pebbling/ita.cls
ViewVC logotype

Contents of /reversible_pebbling/ita.cls

Parent Directory Parent Directory | Revision Log Revision Log | View Revision Graph Revision Graph


Revision 1.1.1.1 - (show annotations) (vendor branch)
Sat Jul 19 11:50:34 2003 UTC (15 years, 4 months ago) by riso
Branch: rairo_2pass, MAIN
CVS Tags: clanok-sync1, rairo, pass2-rc1, diplomka-sync1, pass2-final, HEAD
Branch point for: diplomka
Changes since 1.1: +0 -0 lines
Initial import.

1 \NeedsTeXFormat{LaTeX2e}
2 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
3 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
4 %%% ita class for LaTeX2e %%
5 %%% Pierre Damphousse %%
6 %%% Copyright (C) EDP Sciences %%
7 %%% Version 1.2. September 2002 %%
8 %%% tex-support@edpsciences.com %%
9 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
10 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
11 %% --> THE CLASS OPTION MATERIAL
12 %% --> THE CLASS PRESENTATION MATERIAL
13 %% --> THE SECTIONING MATERIAL
14 %% --> THE METRIC DATA
15 %% --> THE TOP MATTER MATERIAL
16 %---- (A) The MAKETITLE command and its components
17 %---- (B) Preparing the MAKETITLE components
18 % -1- Heading
19 % -2- Title and Running Title
20 % -3- Authors and Running authors
21 % -4- Date
22 % -5- Subject Class
23 % -6- Resume
24 % -7- Abstract
25 % -8- Address (\address, given after the \author command)
26 % -9- Thanks (given after the title: \thanks)
27 %% --> MISCELLANEOUS
28 %% --> MESSAGES
29 %% --> VARIOUS MACROS
30 %---- (A) LATIN ABBREVIATIONS
31 %---- (B) REFERENCES
32 %---- (C) NEWTHEOREM AND ENVIRONMENTS
33 %---- (D) MATHEMATICS
34 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
35 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
36 %
37 %%-----------------------------------------------------------------------------
38 %% --> THE CLASS OPTION MATERIAL
39 %%-----------------------------------------------------------------------------
40 \ProvidesClass{ita}[1999/03/01 v1.1 EDP-Sciences]
41 \DeclareOption*{\PassOptionsToClass{\CurrentOption}{amsart}}
42 \ProcessOptions\relax
43 %%-----------------------------------------------------------------------------
44 %% --> THE CLASS PRESENTATION MATERIAL
45 %%-----------------------------------------------------------------------------
46 \LoadClass[reqno]{amsart}[1996/10/24]
47 \RequirePackage{cite}
48 %%-----------------------------------------------------------------------------
49 %% --> THE SECTIONING MATERIAL
50 %%-----------------------------------------------------------------------------
51 \def\section{\@startsection{section}{1}\z@{1.2\linespacing\@plus\linespacing}%
52 {\linespacing} {\fontsize{12}{14}\selectfont\scshape\centering}}
53 \def\subsection{\@startsection{subsection}{2}\z@{\linespacing\@plus.8\linespacing}%
54 {.8\linespacing}{\fontsize{10}{12}\selectfont\scshape}}
55 \def\subsubsection{\@startsection{subsubsection}{3}\z@{.7\linespacing\@plus.5\linespacing}%
56 {.5\linespacing}{\normalfont\itshape}}
57 \def\paragraph{\@startsection{paragraph}{4}\z@\z@{-\fontdimen2\font}\normalfont}
58 \def\subparagraph{\@startsection{subparagraph}{5}\z@\z@{-\fontdimen2\font}\normalfont}
59 %%-----------------------------------------------------------------------------
60 %% --> THE METRIC DATA
61 %%-----------------------------------------------------------------------------
62 \setlength\oddsidemargin {15pt}\setlength\evensidemargin{15pt}
63 \setlength{\textwidth}{125mm}\setlength{\textheight}{190mm}
64 \setlength{\headheight}{18pt}
65 %%-----------------------------------------------------------------------------
66 %% --> THE TOP MATTER MATERIAL
67 %%-----------------------------------------------------------------------------
68 % = = = = = = = = = = = = = = = = = = = =
69 %---- (A) The MAKETITLE command and its components
70 \def\@maketitle{%
71 \normalfont\normalsize
72 \let\@makefnmark\relax \let\@thefnmark\relax
73 \global\def\shorttitle{\@MSSG@RNNGTTL}
74 \global\def\shortauthors{\@MSSG@RNNGTHR}
75 \@mkboth{\@nx\shortauthors}{\@nx\shorttitle}%
76 \global\topskip42\p@\relax
77 \@SKIP@Aa
78 \vbox{\hbox to\hsize{{\fontsize{10}{12}\selectfont{\bf\@NMJRNL@E}}\hfill%
79 {\fontsize{8}{9}\selectfont\@JRNL@X}}
80 \hbox to\hsize{\fontsize{8}{9}\selectfont{\@NMJRNL@F}\hfill}}
81 \@SKIP@Ab
82 \@setkeywords
83 \@settitle
84 \@setauthors
85 \@setabstract
86 \@setresume
87 \@setsubjclass
88 \normalsize
89 \if@titlepage\newpage\else\dimen@34\p@\advance\dimen@-\baselineskip\vskip\dimen@\relax\fi
90 \gdef\thanks##1{\relax}\gdef\address##1{\relax}
91 }% end \@maketitle
92 % = = = = = = = = = = = = = = = = = = = =
93 %---- (B) Preparing the MAKETITLE components
94 %................ ................ ................ ................ ................
95 % -1- Heading
96 %................ ................ ................ ................ ................
97 \def\@SKIP@Aa{\vspace*{-1.5cm}}%
98 \def\@SKIP@Ab{\vspace*{1.5cm}}%
99 \def\@NMJRNL@F{{Informatique Th\'eorique et Applications}}%
100 \def\@NMJRNL@E{{Theoretical Informatics and Applications}}%
101 \def\@JRNL@X{{Will be set by the publisher}}%
102 \def\idline#1page#2{\global\def\@JRNL@X{#1}\setcounter{page}{#2}}
103 %................ ................ ................ ................ ................
104 % -2- Title and Running Title
105 %................ ................ ................ ................ ................
106 \def\@settitle{\begin{center}\fontsize{11}{15}\selectfont\bfseries
107 \uppercasenonmath\@title\@title\@thnks@i\@thnks@ii\@thnks@iii\@thnks@iv\@thnks@v
108 \ifnum\the\@c@thnks@=0\else\footnote{\box\@b@thnks@}\fi
109 \end{center}}
110 \newbox\@b@rnngttl
111 \def\runningtitle#1{\setbox\@b@rnngttl=\hbox{\fontsize{7}{9}\selectfont\rm\uppercase{#1}}}
112 %................ ................ ................ ................ ................
113 % -3- Authors and Running authors
114 %................ ................ ................ ................ ................
115 \def\@setauthors{\begingroup\trivlist
116 \centering\footnotesize \@topsep30\p@\relax\advance\@topsep by -\baselineskip
117 \item\relax\fontsize{12}{14}\selectfont\scshape\@@th@rs\ignorespaces
118 \footnote{\box\@b@ddrss@}\endtrivlist\endgroup}
119 \def\email#1{{e-mail: \tt#1}}
120 \newbox\@b@rnngthr
121 \def\runningauthors#1{\setbox\@b@rnngthr=\hbox{#1}%
122 \global\def\@rnngthrs{\fontsize{7}{9}\selectfont\rm\uppercase{#1}}}
123 \newcount\@c@thr@\@c@thr@=0
124 \def\author#1{\global\advance\@c@thr@ by 1
125 \global\expandafter\edef\csname @thr@\romannumeral\@c@thr@\endcsname{#1}
126 \global\expandafter\edef\csname @Mthr@\romannumeral\@c@thr@\endcsname{\uppercase{#1}}
127 \global\expandafter\def\csname @ddrss@\romannumeral\@c@thr@\endcsname{}
128 \global\expandafter\def\csname @scndddrss@\romannumeral\@c@thr@\endcsname{}
129 \global\expandafter\def\csname @smddrss@\romannumeral\@c@thr@\endcsname{}}%\author
130 % Elaborating the two author lists (First page and heading)
131 \newcount\@y\newcount\@x
132 \def\@cnjctn{\ifnum\the\@c@thr@=1\null\else{{\ and\ }}\fi}
133 \def\@Mcnjctn{\ifnum\the\@c@thr@=1\null\else{{\ AND\ }}\fi}
134 \def\@@th@rs{\@x=0\global\@y=\@c@thr@\global\advance\@y by -1
135 \loop\advance\@x by 1
136 \ifnum\the\@x<\the\@y\csname @thr@\romannumeral\@x\endcsname\ignorespaces
137 ${}^{\csname @ddrss@\romannumeral\@x\endcsname
138 \csname @smddrss@\romannumeral\@x\endcsname
139 \csname @scndddrss@\romannumeral\@x\endcsname}$,
140 \repeat
141 \csname @thr@\romannumeral\@y\endcsname\ignorespaces
142 ${}^{\csname @ddrss@\romannumeral\@y\endcsname
143 \csname @smddrss@\romannumeral\@y\endcsname
144 \csname @scndddrss@\romannumeral\@y\endcsname}$\@cnjctn
145 \csname @thr@\romannumeral\@c@thr@\endcsname\ignorespaces
146 ${}^{\csname @ddrss@\romannumeral\@c@thr@\endcsname
147 \csname @smddrss@\romannumeral\@c@thr@\endcsname
148 \csname @scndddrss@\romannumeral\@c@thr@\endcsname}$}%\@@th@rs
149 \def\M@@th@rs{\@x=0\global\@y=\@c@thr@\global\advance\@y by -1
150 \loop\advance\@x by 1
151 \ifnum\the\@x<\the\@y\csname @Mthr@\romannumeral\@x\endcsname,
152 \repeat
153 \csname @Mthr@\romannumeral\@y\endcsname\@Mcnjctn
154 \csname @Mthr@\romannumeral\@c@thr@\endcsname}%\M@@th@rs
155 \def\@qq#1#2{\vrule height#1 depth#2 width0pt}
156 %................ ................ ................ ................ ................
157 % -4- Date and editor
158 %................ ................ ................ ................ ................
159 \let\@date\@empty
160 \def\@setdate{\noindent\fontsize{8}{10}\selectfont\hbox{\@date\@addpunct.}}
161 \def\editor#1{\def\@editor{#1}}
162 \let\@editor\@empty
163 \def\@seteditor{\vskip6\p@\noindent\fontsize{8}{10}\selectfont\noindent\hbox{Communicated by
164 \@editor\@addpunct.}}
165 %................ ................ ................ ................ ................
166 % -5- Subject Class
167 %................ ................ ................ ................ ................
168 %
169 \def\@setsubjclass{\skip@20\p@\advance\skip@-\lastskip\advance\skip@-\baselineskip\vskip\skip@
170 \moveright 3pc\hbox{{\bfseries\subjclassname.}\enspace \@subjclass \@addpunct.}} %
171 \renewcommand{\subjclassname}{AMS Subject Classification}
172 %
173 \newbox\@b@kwrds
174 \def\keywords#1{\global\setbox\@b@kwrds\vtop{\advance\hsize by-12pt
175 \noindent\footnotesize\textit{\@MSSG@KWRD@0K}#1\@qq{0pt}{4pt}}}
176 \def\@setkeywords{\ifvoid\@b@kwrds\else\footnote{\box\@b@kwrds}\fi}
177 %................ ................ ................ ................ ................
178 % -6- Resume
179 %................ ................ ................ ................ ................
180 \newbox\resumebox
181 \newenvironment{resume}{\ifx\maketitle\relax\ClassWarning{\@classname}{\@MSSG@CLSSWRNG}\fi
182 \global\setbox\resumebox=\vtop\bgroup\fontsize{9}{11}\selectfont\advance \hsize -6pc
183 \trivlist
184 \labelsep.5em\item[\hskip\labelsep{\scshape\fontsize{10}{12}\selectfont\bf R\'esum\'e}.]}
185 {\endtrivlist\egroup\ifx\@setresume\relax \@setresumea \fi}
186 \def\@setresume{\@setresumea\global\let\@setresume\relax}
187 \def\@setresumea{\skip@20\p@\advance\skip@-\lastskip\advance\skip@-\baselineskip \vskip\skip@
188 \ifvoid\resumebox\else\moveright 3pc \box\resumebox\fi}
189 %................ ................ ................ ................ ................
190 % -7- Abstract
191 %................ ................ ................ ................ ................
192 \newbox\abstractbox
193 \renewenvironment{abstract}{\ifx\maketitle\relax\ClassWarning{\@classname}{\@MSSG@CLSSWRNGBSTRCT}\fi
194 \global\setbox\abstractbox=\vtop\bgroup\fontsize{9}{11}\selectfont
195 \advance \hsize -6pc
196 \trivlist
197 \labelsep.5em\item[\hskip\labelsep{\scshape\fontsize{10}{12}\selectfont\bf Abstract}.]}
198 {\endtrivlist\egroup\ifx\@setabstract\relax \@setabstracta \fi}
199 \def\@setabstract{\@setabstracta\global\let\@setabstract\relax}
200 \def\@setabstracta{\skip@20\p@ \advance\skip@-\lastskip \advance\skip@-\baselineskip \vskip\skip@
201 \ifvoid\abstractbox{\hbox to\hsize{\kern3pc\fontsize{10}{12}
202 \selectfont\bf \hbox to55pt{Abstract\hfill}\qquad\@MSSG@BSTRCT\hfill}}
203 \else\moveright 3pc \box\abstractbox \fi}
204 %................ ................ ................ ................ ................
205 % Address (\address, given after the \author command)
206 % -8- Same Address (\sameaddress, given after the \author command)
207 % Second Address (\secondaddress, given after the \author command)
208 %................ ................ ................ ................ ................
209 \def\@spc{\kern1pt}\def\@spcc{\kern2pt}
210 \newcount\@c@ddrss@\newbox\@b@ddrss@
211 %
212 \def\@dd@ddrss@#1{%
213 \global\setbox51=\vbox{\advance\hsize by-12pt\unvbox\@b@ddrss@
214 \vtop{\footnotesize\noindent{${}^{\the\@c@ddrss@}$\ }\@qq{10pt}{0pt}\textrm{#1}}}
215 \global\setbox\@b@ddrss@=\vbox{\unvbox51}}%
216 %
217 \def\@dd@scndddrss@#1{%
218 \global\setbox51=\vbox{\advance\hsize by-12pt\unvbox\@b@ddrss@
219 \vtop{\footnotesize\noindent{${}^{\the\@c@ddrss@}$\ }\@qq{10pt}{0pt}\textrm{#1}}}
220 \global\setbox\@b@ddrss@=\vbox{\unvbox51}}
221 %
222 \def\address#1{\global\advance\@c@ddrss@ by 1\@dd@ddrss@{#1}
223 \expandafter\edef\csname @ddrss@\romannumeral\@c@thr@\endcsname{\@spc\number\@c@ddrss@}}
224 \def\secondaddress#1{\global\advance\@c@ddrss@ by 1\@dd@ddrss@{#1}
225 \expandafter\edef\csname @scndddrss@\romannumeral\@c@thr@\endcsname%
226 {,\@spcc\number\@c@ddrss@}}%\secondaddress#1
227 \def\sameaddress#1{\expandafter\edef\csname @smddrss@\romannumeral\@c@thr@\endcsname{\@spc{}#1}}
228 %................ ................ ................ ................ ................
229 % -9- Thanks (given in the title: \thanks)
230 %................ ................ ................ ................ ................
231 \def\@rmnnmrl#1{\ifcase#1\null\or*\or**\or***\or****\or*****\else\@MSSG@THNKS\fi}
232 \def\@thnks@i{}\def\@thnks@ii{}\def\@thnks@iii{}\def\@thnks@iv{}\def\@thnks@v{}
233 \newcount\@c@thnks@\newbox\@b@thnks@
234 \def\@dd@thnks@#1{%
235 \global\setbox50=\vbox{\advance\hsize by-12pt\unvbox\@b@thnks@
236 \vtop{\noindent\footnotesize{${}^{\@rmnnmrl\@c@thnks@}$\ }\@qq{10pt}{0pt}\textit{#1}\hfill}}
237 \global\setbox\@b@thnks@=\vbox{\unvbox50}}%
238 \def\thanks#1{\global\advance\@c@thnks@ by 1\@dd@thnks@{#1}%
239 \global\expandafter\edef\csname @thnks@\romannumeral\@c@thnks@\endcsname{%
240 \ifnum\the\@c@thnks@=1\@spcc${}^{\@rmnnmrl\@c@thnks@}$\else$^{,\@spcc\@rmnnmrl\@c@thnks@}$\fi}}
241 %%-----------------------------------------------------------------------------
242 %% --> MISCELLANEOUS
243 %%-----------------------------------------------------------------------------
244 \DeclareRobustCommand*\cal{\@fontswitch\relax\mathcal}
245 %
246 \renewcommand\normalsize{\@xsetfontsize\normalsize 6%
247 \@adjustvertspacing \let\@listi\@listI
248 \abovedisplayskip 11pt \@plus2pt \@minus2pt
249 \belowdisplayskip \abovedisplayskip}
250 %
251 \def\ps@firstpage{\ps@plain
252 \def\@oddfoot{\hfill{\scriptsize \copyright\ EDP Sciences 1999}}%
253 \let\@evenfoot\@oddfoot\def\@oddhead{\null\hss}
254 \let\@evenhead\@oddhead}% in case an article starts on a left-hand page
255 %
256 \def\ps@headings{\ps@empty
257 \def\@evenhead{\normalfont\scriptsize\llap{\normalsize\thepage\kern-4pt}\hfil\scriptsize\leftmark{}{}\hfil}%
258 \def\@oddhead{\normalfont\scriptsize\hfil\rightmark{}{}\hfil\rlap{\kern-4pt\normalsize{\thepage}}}%
259 \let\@mkboth\markboth}
260 \def\ps@myheadings{\ps@headings \let\@mkboth\@gobbletwo}\pagestyle{headings}
261 %%-----------------------------------------------------------------------------
262 %% --> MESSAGES
263 %%-----------------------------------------------------------------------------
264 \def\@MSSG@THNKS{At most 5 thanks allowed}
265 \def\@MSSG@CLSSWRNGRSM{Resume should precede \protect\maketitle\space in AMS documentclasses; reported}
266 \def\@MSSG@CLSSWRNGBSTRCT{Abstract should precede \protect\maketitle\space in AMS documentclasses;
267 reported}
268 \def\@MSSG@KWRD{{WARNING: --- Give at least one key words ---}}
269 \def\@MSSG@KWRD@0K{{Keywords and phrases:\ }}
270 \def\@MSSG@SBJCTCLSS{{--- Give AMS classification codes ---}}
271 \def\@MSSG@RSM{{WARNING: --- Il est obligatoire de donner un r\'esum\'e en fran\c cais! ---}}
272 \def\@MSSG@BSTRCT{{WARNING: --- An English abstract is mandatory! ---}}
273 \def\@MSSG@DT{{(The dates will be set by the publisher)}}
274 \def\@MSSG@DTR{{(The editor will be set by the publisher)}}
275 %% September 2002
276 \def\@MSSG@RNNGTTL{\uppercase{Title will be set by the publisher}}
277 \def\@MSSG@RNNGTHR{\uppercase{Title will be set by the publisher}}
278 %
279 \def\@date{\@MSSG@DT}
280 \def\@editor{\@MSSG@DTR}
281 \def\@subjclass#1{\@MSSG@SBJCTCLSS}
282 %%-----------------------------------------------------------------------------
283 %% --> VARIOUS MACROS
284 %%-----------------------------------------------------------------------------
285 %................ ................ ................ ................ ................
286 %---- (A) LATIN ABBREVIATIONS
287 %................ ................ ................ ................ ................
288 \def\cf{\emph{cf.\/}}\def\ie{\emph{i.e.\/}}\def\etc{\emph{etc\/}}
289 \def\apriori{\emph{a priori\/}}\def\afortiori{\emph{a fortiori\/}}
290 \def\loccit{\emph{a loc. cit.\/}}\def\etal{\emph{et al.\/}}
291 \def\vg{\emph{v.g.\/}}
292 %................ ................ ................ ................ ................
293 %---- (B) REFERENCES
294 %................ ................ ................ ................ ................
295 \def\@Rref#1{\hbox{\rm \ref{#1}}}
296 \def\Rref#1{\@Rref{#1}}
297 %................ ................ ................ ................ ................
298 %---- (C) NEWTHEOREM AND ENVIRONMENTS
299 %................ ................ ................ ................ ................
300 %-------------------
301 \theoremstyle{plain}
302 %-------------------
303 \newtheorem{thrm}{Theorem}[section]
304 \newtheorem{lmm}[thrm]{Lemma}
305 \newtheorem{crllr}[thrm]{Corollary}
306 \newtheorem{prpstn}[thrm]{Proposition}
307 \newtheorem{crtrn}[thrm]{Criterion}
308 \newtheorem{lgrthm}[thrm]{Algorithm}
309 %------------------------
310 \theoremstyle{definition}
311 %------------------------
312 \newtheorem{dfntn}[thrm]{Definition}
313 \newtheorem{cnjctr}[thrm]{Conjecture}
314 \newtheorem{xmpl}[thrm]{Example}
315 \newtheorem{prblm}[thrm]{Problem}
316 \newtheorem{rmrk}[thrm]{Remark}
317 \newtheorem{nt}[thrm]{Note}
318 \newtheorem{clm}[thrm]{Claim}
319 \newtheorem{smmr}[thrm]{Summary}
320 \newtheorem{cs}[thrm]{Case}
321 \newtheorem{bsrvtn}[thrm]{Observation}
322 %
323 %-------------------
324 \theoremstyle{plain}
325 %-------------------
326 \newenvironment{acknowledgement}{\par\addvspace{17pt}\small\rmfamily\noindent}{\par\addvspace{6pt}}
327 %................ ................ ................ ................ ................
328 %---- (D) MACROS FOR MATHEMATICS
329 %................ ................ ................ ................ ................
330 \def\xQuaternion{\mathbb{H}} \def\xC{\mathbb{C}} \def\xR{\mathbb{R}}
331 \def\xQ{\mathbb{Q}} \def\xZ{\mathbb{Z}} \def\xN{\mathbb{N}}
332 \def\xP{\mathbb{P}} \def\xA{\mathbb{A}}
333 %--
334 \def\xCzero{{\rm C}^{0}}
335 \def\xCone{{\rm C}^{1}}
336 \def\xCtwo{{\rm C}^{2}}
337 \def\xCinfty{{\rm C}^{\infty}}
338 \def\xCn#1{{\rm C}^#1}
339 %--
340 \def\xHzero{{\rm H}^{0}}
341 \def\xHone{{\rm H}^{1}}
342 \def\xHtwo{{\rm H}^{2}}
343 \def\xHinfty{{\rm H}^{\infty}}
344 \def\xHn#1{{\rm H}^#1}
345 %
346 \def\xWzero{{\rm W}^{0}}
347 \def\xWone{{\rm W}^{1}}
348 \def\xWtwo{{\rm W}^{2}}
349 \def\xWinfty{{\rm W}^{\infty}}
350 \def\xWn#1{{\rm W}^#1}
351 %
352 \def\xLzero{{\rm L}^{0}}
353 \def\xLone{{\rm L}^{1}}
354 \def\xLtwo{{\rm L}^{2}}
355 \def\xLinfty{{\rm L}^{\infty}}
356 \def\xLn#1{{\rm L}^#1}
357 %--
358 \def\xDif{{\rm D}}
359 \def\xdif{\,{\rm d}}
360 %--
361 \def\xdrv#1#2{\frac{{\rm d}#1}{{\rm d}#2}}% "d#1 over d#2"
362 \def\xDrv#1#2{\frac{{\rm d}}{{\rm d}#2}#1}% "d over d#2 #1"
363 %--
364 \def\xker{\mathop{\rm ker\,}\nolimits}
365 \def\xcoker{\mathop{\rm coker\,}\nolimits}
366 \def\xim{\mathop{\rm im\,}\nolimits}
367 \def\xcoim{\mathop{\rm coim\,}\nolimits}
368 \def\xdim{\mathop{\rm dim\,}\nolimits}
369 \def\xcodim{\mathop{\rm codim\,}\nolimits}
370 \def\xtr{\mathop{\rm tr\,}\nolimits}
371 \def\xHom{\mathop{\rm Hom\,}\nolimits}
372 \def\xExt{\mathop{\rm Ext\,}\nolimits}
373 \def\xTor{\mathop{\rm Tor\,}\nolimits}
374 %--
375 \def\xGL{\mathop{\rm GL\,}\nolimits}
376 \def\xSL{\mathop{\rm SL\,}\nolimits}
377 \def\xPSL{\mathop{\rm PSL\,}\nolimits}
378 \def\xSO{\mathop{\rm SO\,}\nolimits}
379 \def\xSU{\mathop{\rm SU\,}\nolimits}
380 %
381 \def\xProof{
382 \normalfont
383 \medskip
384 {\noindent\itshape Proof.\hspace*{6pt}\ignorespaces}}
385 %
386 \def\enddoc@text{\ifx\@empty\@translators \else\@settranslators\fi
387 \ifx\@empty\@editor \else\@seteditor\\\fi
388 \ifx\@empty\@date \else\@setdate\fi}
389 %
390 %
391 \endinput

CVS Admin">CVS Admin
ViewVC Help
Powered by ViewVC 1.1.26