\newcommand{\ul}[1]{\underline{#1}}
\newcommand{\AB}{\mbox{{\sc AutoBayes}}\xspace}
\newcommand{\TAR}{\mbox{{\sc TAR3}}\xspace}
\newcommand{\BORE}{\mbox{{\sc BORE}}\xspace}
%\newcommand{\ABCap}{{\tenhv{}A\eighthv{}UTO\tenhv{}B\eighthv{}AYES}}
\newcommand{\ABCap}{\AB}
\newcommand{\comment}[1]{}


%---------------------------------------------
% abbreviations for linear algebra math
%
\newcommand{\mat}[1]{\mbox{\bf\em #1}}
\newcommand{\vect}[1]{\mbox{\bf\em #1}}
\newcommand{\vx}{{\bf x}}
\newcommand{\vy}{{\bf y}}
\newcommand{\vz}{{\bf z}}
\newcommand{\vu}{{\bf u}}
\newcommand{\vv}{{\bf v}}
\newcommand{\vw}{{\bf w}}
\newcommand{\vo}{{\bf o}}
\newcommand{\vs}{{\bf s}}
\newcommand{\vt}{{\bf t}}
\newcommand{\ve}{{\bf e}}
\newcommand{\vc}{{\bf c}}
\newcommand{\vp}{{\bf p}}
\newcommand{\vd}{{\bf d}}
\newcommand{\vg}{{\bf g}}
\newcommand{\vr}{{\bf r}}
\newcommand{\vb}{{\bf b}}
\newcommand{\al}{{\alpha}}
\newcommand{\mG}{{\bf G}}
\newcommand{\mA}{{\bf A}}
\newcommand{\mB}{{\bf B}}
\newcommand{\mC}{{\bf C}}
\newcommand{\mF}{{\bf F}}
\newcommand{\mP}{{\bf P}}
\newcommand{\mQ}{{\bf Q}}
\newcommand{\mR}{{\bf R}}
\newcommand{\mU}{{\bf U}}
\newcommand{\mI}{{\bf I}}
\newcommand{\mJ}{{\bf J}}
\newcommand{\mH}{{\bf H}}
\newcommand{\mS}{{\bf S}}
\newcommand{\mD}{{\bf D}}
\newcommand{\mM}{{\bf M}}
\newcommand{\mK}{{\bf K}}
\newcommand{\mW}{{\bf W}}
\newcommand{\Id}{{\bf I}}
\newcommand{\ak}{{\alpha_k}}

%----------------------------------------------------
% 2. names
\def\SAM{{\sc S\kern-.13em\lower.45ex\hbox{A}\kern-.13emM}}
\newcommand{\FOL}{\mbox{FOL}}
\newcommand{\VDM}{\mbox{VDM/SL}}
\newcommand{\SETHEO}{\mbox{\sc Setheo}\protect{\index{SETHEO}}}
\newcommand{\Amphion}{\mbox{\sc Amphion}\protect{\index{Amphion@\mbox{\sc Amphion}}}}
\newcommand{\ILFSETHEO}{\mbox{\sc ILF-Setheo}\protect{\index{ILF-SETHEO@\mbox{\sc ILF-Setheo}}}}
\newcommand{\ILF}{\mbox{\small ILF}\protect{\index{ILF}}}
\newcommand{\PIL}{\mbox{\sc Pil/Setheo}\protect{\index{Pil/Setheo@\mbox{\sc Pil/Setheo}}}}
\newcommand{\DELTA}{\mbox{\sc Delta}\protect{\index{Delta@\mbox{\sc Delta}}}}
\newcommand{\FOCUS}{\mbox{\sc Focus}\protect{\index{Focus@\mbox{\sc Focus}}}}
\newcommand{\Focus}{\mbox{\sc Focus}\protect{\index{Focus@\mbox{\sc Focus}}}}
\newcommand{\AutoFocus}{\mbox{\sc AutoFocus}\protect{\index{AutoFocus@\mbox{\sc AutoFocus}}}}
\newcommand{\Autofocus}{\mbox{\sc AutoFocus}\protect{\index{AutoFocus@\mbox{\sc AutoFocus}}}}
\newcommand{\AF}{\mbox{\sc AutoFocus}\protect{\index{AutoFocus@\mbox{\sc AutoFocus}}}}
\newcommand{\MACE}{\mbox{\sc Mace}\protect{\index{Mace@\mbox{\sc Mace}}}}
\newcommand{\ANLDP}{\mbox{\sc Anldp}\protect{\index{Anldp@\mbox{\sc Anldp}}}}
\newcommand{\NORA}{\mbox{\small NORA/HAMMR}\protect{\index{NORA/HAMMR}}}
\newcommand{\HAMMR}{\mbox{\small NORA/HAMMR}\protect{\index{NORA/HAMMR}}}
\newcommand{\OTTER}{\mbox{\small OTTER}\protect{\index{OTTER}}}
\newcommand{\Gandalf}{\mbox{Gandalf}\protect{\index{Gandalf}}}
\newcommand{\GANDALF}{\mbox{Gandalf}\protect{\index{Gandalf}}}
\newcommand{\SNARK}{\mbox{\small SNARK}\protect{\index{SNARK}}}
\newcommand{\SPASS}{\mbox{\small SPASS}\protect{\index{SPASS}}}
\newcommand{\Discount}{\mbox{\sc Discount}\protect{\index{Discount}}}
\newcommand{\DISCOUNT}{\mbox{\sc Discount}\protect{\index{Discount}}}
\newcommand{\METEOR}{\mbox{\small METEOR}\protect{\index{METEOR}}}
\newcommand{\PROTEIN}{\mbox{Protein}\protect{\index{Protein}}}
\newcommand{\Protein}{\mbox{Protein}\protect{\index{Protein}}}
\def\tap{\mbox{$_{3}\!T^{\!\!\textstyle A}\!\!P$}}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%





%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% caption style

\comment{
\long\def\@makecaption#1#2{
 \vskip 10pt
 \setbox\@tempboxa\hbox{{\bf #1} {\small #2}}
 \ifdim \wd\@tempboxa >\hsize \unhbox\@tempboxa\par \else \hbox
to\hsize{\box\@tempboxa\hfil}
 \fi\vskip5pt}

\long\def\@caption#1[#2]#3{\addcontentsline{\csname
  ext@#1\endcsname}{#1}{\protect\numberline{\csname
  the#1\endcsname}{\ignorespaces #2}}\par
  \begingroup
    \@parboxrestore
    \@makecaption{\csname fnum@#1\endcsname}{\ignorespaces #3}\par
  \endgroup}



%\long\def\@makecaption#1#2{
% \vskip 10pt
% \setbox\@tempboxa\hbox{\footnotesize #1: #2}
% \ifdim \wd\@tempboxa >\hsize #1: #2\par \else \hbox
%to\hsize{\hfil\box\@tempboxa\hfil}
% \fi}

} %comment

