\ifx\ps@REDUCEreference\undefined
  \else\endinput\fi

\typeout{Document style option `redindex' version 1.24 -- RmS 1994/01/20}

\ifx\COMPATNOTE\undefined
  \@@input reduce.sty\relax
\fi

\ifx\extrarowheight\undefined
  \@@input array.sty\relax
\fi

%\newcommand{\REDUCE}{REDUCE}

\if@twoside\else\ds@twoside\fi

\def\ps@REDUCEreference{\let\@evenhead\@empty\let\@oddhead\@empty
  \def\@oddfoot{\rm \hfil REDUCE Reference\ \ \thepage}%
  \def\@evenfoot{\rm \thepage\ \ REDUCE Reference\hfil}}

\newcommand{\indexentry}[1]{\newpage
 \markboth{#1}{#1}\section*{#1}}

\def\in@#1#2{%
 \def\in@@##1#1##2##3\in@@{%
  \ifx\in@##2\in@false\else\in@true\fi}%
 \in@@#2#1\in@\in@@}
\newif\ifin@

\newtoks\double@list
\double@list={}
\def\add@to@double@list#1{\double@list=\expandafter{\the\double@list#1\relax}}
\def\check@double@list#1{%
  \def\@tempa{\in@{#1}}%
  \expandafter\@tempa\expandafter{\the\double@list}}

\catcode`\_=12
\def\other@underscore{_}
\catcode`\_=\active
\def_{\ifmmode\expandafter\sb\else\_\fi}
\def\redindex@sanitize{\@sanitize\catcode`\ =10\relax
                                 \catcode`\\=0\relax
                                 \catcode`\{=1\relax
                                 \catcode`\}=2\relax
                                 \catcode`\_=\active}

\def\check@multiple@label#1,#2,#3{% #1 is name, #2 is type, #3 is value
  \@ifundefined{r@#1}{\newlabel@{#1}{#3}}{%
     \typeout{Double found: #1, list: \the\double@list}%
     \check@double@list{#1}\ifin@\else\global\add@to@double@list{#1}\fi}}


\let\newlabel@=\newlabel
\def\newlabel{\begingroup
  \redindex@sanitize
  \newlabel@@
}

\def\newlabel@@#1#2{%\tracingall
%  \begingroup
    \let_=\other@underscore
    \newlabel@{#1}{#2}%
    \in@,{#1}\ifin@\check@multiple@label#1,{#2}\fi
  \endgroup}

\let\enddocument@=\enddocument
\def\enddocument{\let_=\other@underscore
    \immediate\write\@mainaux{\string\add@to@double@list{\the\double@list}}%
    \enddocument@}

\def\enddocument{\@checkend{document}\clearpage\begingroup
\if@filesw
  \let_=\other@underscore
  \immediate\write\@mainaux{\string\add@to@double@list{\the\double@list}}%
  \immediate\closeout\@mainaux
\def\global\@namedef##1##2{}\def\newlabel{\@testdef r}%
\def\bibcite{\@testdef b}\@tempswafalse \makeatletter
\redindex@sanitize\input \jobname.aux
\if@tempswa \@@warning{Label(s) may have changed.  Rerun to get
cross-references right}\fi\fi\endgroup\deadcycles\z@\@@end}

\def\@testdef #1#2#3{\def\@tempa{#3}\expandafter \ifx \csname #1@#2\endcsname
 \@tempa  \else
 \typeout{Testing #2 failed: old: \csname #1@#2\endcsname <-> new: #3}
 \@tempswatrue \fi}

\newcount\newitem@penalty
\newskip\newitem@preskip
\newskip\newitem@postskip
\newskip\newitem@headsep

%\def\newitem#1#2{% #1 is type, #2 is name
\def\newitem#1[#2]#3{% #1 is type, #2 is ref key, #3 is name
  \endgroup
  \ifvmode\else\par\fi
  \addpenalty\newitem@penalty
  \addvspace\newitem@postskip
  \hrule
  \nobreak
  \vskip \newitem@preskip
  \hbox to\hsize{\LARGE\bf\sf \uppercase{#3}\hfil #1}%
  \nobreak
  \vskip \newitem@headsep
  \begingroup
    \let_=\other@underscore
    \index{#3}\index{#1!#3}%
    \def\_{_}\label{#2,#1}\nobreak
  \endgroup}

\newitem@penalty=\@beginparpenalty
\newitem@postskip = 20pt plus 5pt minus 5pt
\newitem@preskip = 10pt
\newitem@headsep = 5pt

\parskip = 5pt plus 2pt
\parindent = 0pt


\def\newitemEnv#1{%
  \expandafter\edef\csname#1\endcsname{%
    \begingroup\noexpand\redindex@sanitize\csname#1@\endcsname}%
  \@namedef{#1@}{\@dblarg{\newitem{#1}}}%
  \@namedef{end#1}{}}

\newitemEnv{Command}
\newitemEnv{Operator}
\newitemEnv{Function}
\newitemEnv{Switch}
\newitemEnv{Variable}
\newitemEnv{Declaration}
\newitemEnv{Package}
\newitemEnv{Concept}
\newitemEnv{Constant}
\newitemEnv{Type}
\newitemEnv{info}
\newitemEnv{Introduction}

\newskip\itemsec@sep
\newcount\itemsec@penalty

\itemsec@penalty=\@beginparpenalty
\itemsec@sep=5pt

\def\begin@itemsection#1{\par\everypar={}%
  \addvspace\itemsec@sep
  \addpenalty\itemsec@penalty
  \hbox{\large\bf\sf #1}\nobreak}

\def\end@itemsection{\par}

\def\Comments{\begin@itemsection{Comments}}
\let\endComments\end@itemsection

\begingroup
  \catcode`\^=\active \catcode`\&=\active \catcode`\_=\active
  \def\x{\def\setup@special@chars{\catcode`\^=\active \let^=\special@uparrow
                                  \catcode`\&=\active \let&=\special@ampersand}%
         \def\protectspecialchars{\def^{\char`\^}\def_{\char`\_}}%
         \def\normalspecialchars{\let^=\sp\let_=\sb}%
         \def\activespecialchars{\let^=\special@uparrow}}
\expandafter\endgroup\x

\let\begin@=\begin
\let\end@=\end

\def\@ifstar#1#2{\def\@tempa{#1}\def\@tempb{#2}\futurelet
    \@tempc\@if@star@}

\def\@if@star@{\ifx \@tempc*\def\@tempd*{\@tempa}\else\let\@tempd\@tempb\fi\@tempd}

\def\Examples{\begin@itemsection{Examples}%
     \setup@special@chars\protectspecialchars%\tracingall
     \def\{{{\tt\char`\{}}%
     \def\}{{\tt\char`\}}}%
     \def\arraystretch{1.5}%
     \extrarowheight=1mm
     \def\end{%
       \ifnum\catcode`\{=12\relax \expandafter \special@ampersand\fi\end@}%
     \let \protect \relax
     \lineskip \z@
     \baselineskip \z@
     \frenchspacing
     \m@th
     \def\\{{\ifnum 0=`}\fi
             \@ifstar {\@xarraycr\noalign{\penalty\@M}} \@xarraycr}
     \let\par=\@empty
     \setbox \@arstrutbox \hbox{\vrule
             \@height \arraystretch \ht \strutbox
             \@depth \arraystretch \dp \strutbox
             \@width \z@}%
      \ialign\bgroup\@arstrut
        \global\@startnewrowfalse
        \catcode`\{=12\relax
        \catcode`\}=12\relax
        \catcode`\%=12\relax
        \catcode`\$=12\relax
        \catcode`\~=12\relax
        \setbox0=\hbox\bgroup\protect\tt##\unskip\hfil\egroup\checkcolwidth
        &$\quad\protect\Rightarrow\quad$%
        \global\setbox0=\hbox\bgroup\activespecialchars##\egroup\checkcolwidtho\cr
}

\def\endExamples{\crcr\egroup\end@itemsection}

%\def\Examples{\begin@itemsection{Examples}%
%     \setup@special@chars\protectspecialchars%\tracingall
%     \def\{{{\tt\char`\{}}%
%     \def\}{{\tt\char`\}}}%
%     \def\arraystretch{1.5}%
%     \extrarowheight=1mm
%     \def\end{%
%       \ifnum\catcode`\{=12\relax \expandafter \special@ampersand\fi\end@}%
%     \begin{tabular}[b]{>{%\protectspecialchars
%                       \global\@startnewrowfalse
%                       \catcode`\{=12\relax
%                       \catcode`\}=12\relax
%                       \catcode`\%=12\relax
%                       \catcode`\$=12\relax
%                       \setbox0=\hbox\bgroup\protect\tt}l<{\egroup\checkcolwidth}%
%                     >{$\quad\protect\Rightarrow\quad$%
%                       \global\setbox0=\hbox\bgroup\activespecialchars}l%
%                     <{\egroup\checkcolwidtho}}}
%\def\endExamples{\end{tabular}\end@itemsection}

\def\explanationi#1{\multicolumn{2}{p{0.95\textwidth}}{%
  \normalspecialchars \em#1}}
\let\explanation=\explanationi
\def\explanationo#1{\parbox[t]{0.95\MaxOutputWidth}{\em#1}}

\def\start@new@row@for@output{%
  \multicolumn{2}{@{\protect\DoOutputIndent}l}{\box0}}

\def\DoOutputIndent{
  \dimen@=\textwidth
  \advance\dimen@ -\wd\z@
  \ifdim\dimen@>\OutputIndent \dimen@=\OutputIndent
    \else\ifdim\dimen@<\z@ \dimen@=\OutputIndent\fi\fi
  \hspace{\dimen@}}

\newdimen\OutputIndent \OutputIndent=10mm

\begingroup \catcode `|=0 \catcode `[= 1
\catcode`]=2 \catcode `\{=12 \catcode `\}=12
\catcode`\\=12 |gdef|@bixample#1\end{Bigexample}[#1|end[Bigexample]]
|endgroup

\def\Bigexample{\begin@itemsection{Example}%
  \@verbatim \frenchspacing\@vobeyspaces \@bixample}
\def\endBigexample{\endtrivlist\end@itemsection}

\def\Related{\begin@itemsection{Related information}\begin{description}}
\def\endRelated{\end{description}}

\newif\if@startnewrow \@startnewrowfalse
\newif\if@startneworow \@startneworowfalse
\def\special@uparrow#1{\vbox{\vskip2\p@
                             \hbox{\raise.8\normalbaselineskip\hbox{#1}}}}
\def\special@ampersand{&\if@startnewrow\expandafter\startnewrow\fi\tt}

\def\startnewrow{\omit\\&\global\@startnewrowfalse}

\newdimen\maxexamplecolwidth
\maxexamplecolwidth = 5cm

\def\checkcolwidth{%
  \ifdim\wd0>\maxexamplecolwidth
    \hbox to\maxexamplecolwidth{\unhbox0\hss}%
    \hskip-25pt\null
    \global\@startnewrowtrue
  \else \unhbox0 \fi
}

\def\checkcolwidtho{%
  \ifdim\wd0>\MaxOutputWidth
    \global\everycr={\start@new@row@for@output
      \global\everycr={}\cr}%
%    \global\@startneworowtrue
  \else \unhbox0 \fi
}


\def\multilineinput{\catcode`\{=1 \catcode`\}=2
  \begin{minipage}[b]{\maxexamplecolwidth}\@vobeyspaces\obeylines}
\def\endmultilineinput{\end{minipage}}

\def\multilineoutput#1{\begin{minipage}[t]{#1}\@vobeyspaces\obeylines
                       \baselineskip =1.5\baselineskip}
\def\endmultilineoutput{\end{minipage}}

\newdimen\MaxOutputWidth \MaxOutputWidth=7cm
\def\multilineoutput#1{%
  \vtop\bgroup\@parboxrestore
  \lineskip \baselineskip
  \@tempswafalse
  \def\par{\if@tempswa\egroup
              \ifdim\wd0>\z@\box0\fi
              \setbox0=\hbox\bgroup\fi
           \@tempswatrue}
  \@vobeyspaces\obeylines
  \setbox0=\hbox\bgroup}

\def\endmultilineoutput{\egroup\ifdim\wd0>\z@\box0\fi \egroup}

\def\multilineinput{%
  \vbox\bgroup\@parboxrestore
  \def\end{\catcode`\{=1 \catcode`\}=2 \end@}%
  \@tempswafalse
  \def\par{\if@tempswa\egroup
              \ifdim\wd0>\z@\box0\fi
              \setbox0=\hbox\bgroup\fi
           \@tempswatrue}
  \@vobeyspaces\obeylines
  \addvspace{.8\baselineskip}%
  \setbox0=\hbox\bgroup}

\let\endmultilineinput=\endmultilineoutput

\def\privateshowbox{\showboxbreadth\maxdimen\showboxdepth\maxdimen\showbox}

\def\rfrac#1#2{\begingroup
  \lineskip2pt \baselineskip \z@
  \setbox0=\hbox{\tt#1}%
  \setbox1=\hbox{\tt#2}%
  \setbox2=\hbox{\tt-}%
  \ifdim \wd0>\wd1 \dimen@=\wd0 \else \dimen@=\wd1 \fi
  \advance \dimen@ by2\wd2\relax
  \setbox3=\vtop{\hbox to\dimen@{\hss\unhcopy0\hss}%
                 \hbox to\dimen@{\leaders\copy2\hfill}%
                 \hbox to\dimen@{\hss\unhcopy1\hss}}%
  \dimen@=\dp0 \advance\dimen@ by\ht2 \advance\dimen@ by\lineskip
  \@tempdima=\ht3 \advance \@tempdima by\dimen@ \ht3=\@tempdima
  \@tempdima=\dp3 \advance \@tempdima by-\dimen@ \dp3=\@tempdima
%  \privateshowbox3
  \box3
 \endgroup}

\def\def@protected#1#2{%
  \expandafter\edef\csname#1\endcsname{\begingroup\noexpand\redindex@sanitize
                                       \catcode32=10
                                       \csname#1@\endcsname}%
  \@namedef{#1@}##1{\endgroup#2}}

\def@protected{name}{\mbox{\tt#1}}
%\let\keyw=\name
%\let\operator=\name
\def@protected{nameindex}{\name{#1}\index{#1}\label{#1}}
\def@protected{hyperref}{#1}
%\def@protected{nameref}{\name{#1}, p.~\pageref{#1}}
\def@protected{nameref}{\name{#1}}
\def@protected{see}{(see \hyperref@{#1})}
\def@protected{key}{\fbox{\sf #1}}
\def@protected{arg}{\mbox{\it #1}}

\newdimen \Syntaxindent \Syntaxindent=2mm
\def\Syntax{\large
   \list{}{\leftmargin\Syntaxindent\def\({$(}\def\){)$}%
           \mathcode`\ =32768}\item[]}
\def\endSyntax{\endlist}
\def\repeated{$+$}
\def\optional{\relax\ifmmode\ast\else$\ast$\fi}
%\def\meta#1{\mbox{\it#1}}
\def\meta{\begingroup\catcode`\_=\active\meta@}
\def\meta@#1{\ifmmode\mbox\fi{\it#1\/}\endgroup}

\def\alternative{$\displaystyle
  \left\{\begin{tabular}{l}}
\def\endalternative{\end{tabular}\right\}$}

\def\section{\@startsection {section}{1}{\z@}{-3.5ex plus-1ex minus
    -.2ex}{2.3ex plus.2ex}{\reset@font\LARGE\bf}}
\def\subsection{\@startsection{subsection}{2}{\z@}{-3.25ex plus-1ex
     minus-.2ex}{1.5ex plus.2ex}{\reset@font\Large\bf}}
\def\subsubsection{\@startsection{subsubsection}{3}{\z@}{-3.25ex plus
     -1ex minus-.2ex}{1.5ex plus.2ex}{\reset@font\large\bf}}

%%%%
%%%% error message file
%%%%

\def\tableoferrormessages{\@restonecolfalse
  \if@twocolumn\@restonecoltrue\onecolumn\fi
  \chapter*{\contentsname
        \@mkboth{\uppercase{\contentsname}}{\uppercase{\contentsname}}}%
  \@starttoc{emg}\if@restonecol\twocolumn\fi}

\def\ErrorMessage#1{%
  \addcontentsline{emg}{#1}}

%%%% conditionals

\def\IFTEX#1#2{#1}

\long\def\INFO#1\end#2{\def\@tempa{#2}\def\@tempb{INFO}%
  \ifx\@tempa\@tempb\else\errmessage{\string\end{#2} not allowed
                                     inside INFO environment.}\@eha\fi
  \end{INFO}}
\def\endINFO{\global\@ignoretrue}

\def\TEX{}
\def\endTEX{\global\@ignoretrue}


\@ifundefined{reset@font}{\let\reset@font\@empty}{}

\pagestyle{REDUCEreference}

\endinput


