\newcommand{\xsubsection}[1]{%
\texonly{\subsection{#1}}%
\htmlonly{\strong{#1}\\}%
}

\newcommand{\evalsto}{%
\texonly{$\rightarrow$}%
\htmlonly{\code{->}}%
}

\newcommand{\cvar}[1]{%
\texonly{{\rm\em{#1}}}%
\htmlonly{\code{\var{#1}}}%
}

%%%%%%%%%%%%%%%% HTML deftypes
\htmlonly{
\newcommand{\goo}{{\it{GOO}}}

% \newenvironment{defs}{\begin{itemize}}{\end{itemize}}

% \newcommand{\defnoindex}[3]{%
% \item\noindent\code{({#1}{\var{#2}\/})~-->~{\var{#3}}}}

% \newcommand{\defcontnoindex}[2]{%
% \item\noindent\code{({#1}{\var{#2}\/})}}

% \newcommand{\doc}[1]{%
% \item {\it #1}}

% \newenvironment{defs}{\begin{html}<table>\end{html}}{\begin{html} <\table> \end{html}}

% \newcommand{\defnoindex}[3]{\begin{html} <tr> <td> #1 </td> <td> #2 </td> <td> #3 </td> </tr> \end{html}}

% \newcommand{\defcontnoindex}[2]{\begin{html} <tr> <td> </td> <td> #1 </td> <td> #2 </td> </tr> \end{html}}

% \newcommand{\doc}[1]{\begin{html} <tr> <td> </td> <td> #2 </td> <td> </td> </tr> \end{html}}

\newenvironment{defs}{\begin{tabular}{llr}}{\end{tabular}}
\newcommand{\defnoindex}[3]{\cindex[#1]{{\tt #1}}\kode{#1} & \kode{#2} & \kode{#3} \\}
\newcommand{\defcontnoindex}[2]{& \kode{#1} & \kode{#2} \\}
\newcommand{\doc}[1]{& {\it #1} & \\}

% \newenvironment{defs}{\begin{tabular}{lll}}{\hline\end{tabular}}
% \newcommand{\defnoindex}[3]{{\bf \kode{#3}} & \hline\kode{#1} & \kode{#2} \\}
% \newcommand{\defcontnoindex}[2]{{\bf \kode{#2}} & & \kode{#1} \\}
% \newcommand{\doc}[1]{& & {\it #1} \\}

% \newenvironment{defs}{\begin{tabular}{lllr}}{\hline\end{tabular}}
% \newcommand{\defnoindex}[3]{\hline\multicolumn{2}{l}{\kode{#1}} & \kode{#2} & \kode{#3} \\}
% \newcommand{\defcontnoindex}[2]{\multicolumn{2}{l}{} & \kode{#1} & \kode{#2} \\}
% \newcommand{\doc}[1]{& \multicolumn{2}{l}{\it #1} & \\}

% \newcommand{\deftagstart}{%
% \begin{rawhtml}<table border=0 cellspacing=0 cellpadding=0 width=80%>
% <tr> <td>\end{rawhtml}}

\newcommand{\newline}{}
\newcommand{\snl}{}
\newcommand{\inl}{}
\newcommand{\emptybox}{}

\newenvironment{packeditemize}{\begin{itemize}}{\end{itemize}}
\newenvironment{ex}{\begin{example}}{\end{example}}
\newenvironment{exv}{\verbatim}{\endverbatim}
\newcommand{\kode}[1]{{\tt #1}}
\xmlattributes{table}{border}

}
%%%%%%%%%%%%%%%% end of HTML def definitions

\newcommand{\define}[3]{\defnoindex{{#1}}{{#2}}{{#3}}} % \mainschindex{{#1}}}}
% \newcommand{\def}[3]{\defnoindex{{#1}}{{#2}}{{#3}}\mainschindex{{#1}}}

\newcommand{\subsubsubsection}[1]{\subsubsection*{#1}}

\newcommand{\form}[2]{\define{{#1}}{{#2}}{S}}
\newcommand{\formcont}[1]{\defcontnoindex{{#1}}{S}}
\newcommand{\syntax}[2]{\define{{#1}}{$\equiv$ {#2}}{L}}
\newcommand{\notation}[2]{\define{{#1}}{{\it #2}}{N}}
\newcommand{\alias}[2]{\define{{#1}}{{#2}}{A}}
\newcommand{\generic}[2]{\define{{#1}}{({#2})}{G}}
\newcommand{\method}[2]{\define{{#1}}{({#2})}{M}}
\newcommand{\methodcont}[1]{\defcontnoindex{({#1})}{M}}
\newcommand{\function}[2]{\define{{#1}}{({#2})}{F}}
\newcommand{\class}[2]{\define{{#1}}{({#2})}{C}}
\newcommand{\property}[2]{\define{{#1}}{({#2})}{P}}
\newcommand{\propertyinit}[3]{\define{{#1}}{({#2})}{P}}
\newcommand{\instance}[2]{\define{{#1}}{{#2}}{I}}
\newcommand{\command}[2]{\define{{#1}}{{#2}}{K}}
