% \columnsep 0.25in
% \topmargin -1.1in
%\textwidth 15.95cm

%%%%%% begin standard timm latex macros

\newcommand{\home} {
Deptartment of Artificial Intelligence, \\
School of Computer Science and Engineering,\\
University of New South Wales, PO Box 1,\\ 
Kensington, Sydney, Australia, 2033\\
\small
{\tt
timm@cse.unsw.edu.au}\\
\small
{\tt  http://www.cse.unsw.edu.au/$\sim$timm}
\normalsize}

\newenvironment{tip}{\medskip\par\noindent
  \begin{equation}
        %\epsfbox{rhand.eps}
	\begin{boxedminipage}{.9\textwidth}}{%
        \end{boxedminipage}
  \end{equation}}


%\newenvironment{tip}{\medskip\par\noindent
%  \begin{equation}
%   \begin{minipage}{.9\textwidth}}{%
%  \marginpar{\spsfbox{check.eps}}}\end{minipage}\end{equation}}


%\newcommand{\changequote}[1]{\let\origchn\chaptername
%\renewcommand{\chaptername}{\strut
%\rlap{\hbox to \linewidth{\hfill\vtop to 0pt{\hbox{#1}\vss}}}\origchn}}


%\newcommand{\marginlabel}[1]
%	{\mbox{}\marginpar{\raggedleft\hspace{0pt}#1}}



%\newcommand{\max}{{\em max}}
\newcommand{\bc}{\begin{center}}
\newcommand{\ec}{\end{center}}

\newcommand{\be}{\begin{enumerate}}
\newcommand{\ee}{\end{enumerate}}
\newcommand{\bi}{\begin{itemize}}

\newcommand{\ei}{\end{itemize}}
\newcommand{\kl}{\my{KL}}
\newcommand{\src}[1]{Listing \ref{#1}}
\newcommand{\fig}[1]{Figure~\ref{#1}}
\newcommand{\around}[1]{\<\<Insert \fig{#1} around here\>\>}
\newcommand{\ilabel}[1]{\index{#1}\label{#1}}
\newcommand{\code}[1]{{\small\sf{\sc{#1}}}}
\newcommand{\htfour}{\code{HT4}}

\newcommand{\etal}{\mbox{{\em~et.~al.}}}
\newcommand{\tion}[1]{\S\ref{#1}}
\newcommand{\btion}[1]{(\S\ref{#1})}
\newcommand{\btip}{~\\\sl\marginpar{\Huge{$\dag$}}}
\newcommand{\etip}{~\\\rm}


\newcommand{\PROC}{{\underline {\sffamily procedure}}}
\newcommand{\DO}  {{\underline {\sffamily begin}}}
\newcommand{\FOR}{{\underline {\sffamily for}}}
\newcommand{\OD}{{\underline {\sffamily end}}}
\newcommand{\IF}{{\underline {\sffamily if}}}
\newcommand{\THEN}{{\underline {\sffamily then}}}
\newcommand{\TO}{{\underline {\sffamily to}}}
\newcommand{\IN}{$\in$}
\newcommand{\ZIP}{$\emptyset$}
\newcommand{\INTERSECTS}{$\cap$}

%\newsavebox{\fminibox}
%\newlength{\fminilength}
%\newenvironment{fminipage}[1][\linewidth]
% {\setlength{\fminilength}{#1}%
%\addtolength{\fminilength}{-2\fboxsep}%
%\addtolength{\fminilength}{-2\fboxrule}%
%\begin{lrbox}{\fminibox}\begin{minipage}{\fminilength}}
% {\end{minipage}\end{lrbox}\noindent\fbox{\usebox{\fminibox}}}

%%%%%% end standard timm latex macros

%%%%%% fancies

%\lhead[\fancyplain{}{\sl\rightmark}]{\fancyplain{}{\sl\leftmark}}
\lhead[\fancyplain{}{\sl\rightmark}]{\fancyplain{}{~}}
\rhead[\fancyplain{}{\sl \leftmark}]{\fancyplain{}{\sl \rightmark}}
\rhead[\fancyplain{}{\sl \leftmark}]{\fancyplain{}{~}}
\cfoot{}
\chead{}
\lhead{}
\rhead{}
\rhead[]{\sl page~\thepage~of~\pageref{LastPage}}
\lhead[{\sl page~\thepage~of~\pageref{LastPage}}]{}
\footrulewidth 0pt
\headrulewidth 0.4pt

%%%%%% fancies
\newcommand{\avin}{{$\overline{|\my{IN}}|$}}
\newcommand{\avout}{{$\overline{|\my{OUT}}|$}}
\newcommand{\raone}{{\sc RA-1}}
\newcommand{\ratwo}{{\sc RA-2}}
\newcommand{\HT}{{\program HT4}}
\newcommand{\class}[1]{\sffamily {\small #1}}
\newcommand{\cc}[1]{\class{#1}}
\newcommand{\program}[1]{{\bf {\sc #1}}}
\newcommand{\p}[1]{{\program #1}}
\newcommand{\tool}{{\program TICK}}
\newcommand{\kup}[2]{${\tt #1}_{{\tt #2}{\tt up}}$}
\newcommand{\kdown}[2]{${\tt #1}_{{\tt #2}{\tt down}}$}

\newcommand{\lang}{{\tool}-L}
\newcommand{\expert}{{\tool}-E}