\documentstyle[11pt,ut-thesis,psfig]{report}
\pagestyle{headings}
\input epsf
\nofiles
\newcommand{\myname}{Samuel Y. K. Hung}
\newcommand{\mytitle}{Implementation and Performance of Transaction Logic in Prolog}

\newcommand{\cR}{R}
\newcommand{\TR}{{$\,\cal T\mbox{\small $\cR$}\;\,$}}
\newcommand{\TRR}{{$\,\cal T\mbox{\small $\cR$}$}}
\newcommand{\SC}{\( \otimes \)}
\newcommand{\SD}{\( \oplus \)}
\newcommand{\noteq}{\( \sim \)}
\newcommand{\lpagebegin}
 {\begin{minipage}[t]{2.7in}
 }
\newcommand{\lpageend}
 {\end{minipage}
 }
\newcommand{\rpagebegin}
 {\begin{minipage}[t]{2.7in}
 }
\newcommand{\rpageend}
 {\end{minipage}
 }

\newcommand{\myfig}[3]
 {\begin{figure}
  \hfil\epsfxsize=3.0in\epsfbox{#1}
  \caption{\label{#2}#3}
  \end{figure}}

\newcommand{\mytabbegin}
 {\vspace*{3mm}
  \begin{small}
  \begin{center}
  \begin{tabular}{lcr}}
\newcommand{\mytabend}
 {\end{tabular}
  \end{center}
  \end{small}
  \vspace*{3mm}}
\newcommand{\mycolbegin}
 {\vspace*{3mm}
  \begin{small}
  \begin{tabbing}
  }
\newcommand{\mycolend}
 {\end{tabbing}
  \end{small}
  \vspace*{3mm}}
\newcommand{\labeqnbegin}
 {\vspace*{3mm}
  \begin{small}
  \begin{eqnarray}}
\newcommand{\labeqnend}
 {\end{eqnarray} 
   \end{small} }

\newcommand{\myeqnbegin}
 {\vspace*{3mm}
  \begin{small}
  \begin{eqnarray}}
\newcommand{\myeqnend}
 {\end{eqnarray} 
   \end{small}}

\begin{document}
\pagenumbering{roman}
\include{titlepage}
\setcounter{page}{2}
\thispagestyle{empty}
\include{abstract}
\thispagestyle{empty}
\include{ack}
\include{tocfig}
\newpage
%\setlength{\baselineskip}{0mm}
\pagenumbering{arabic}
\fnsymbol{footnote}
\include{chapter1}
\include{chapter2}
\include{chapter3}
\include{chapter4}
\include{chapter5}
\include{chapter6}
\appendix
\include{tutorial}
\include{benchmark}
\end{document}
