% =====================================================================
% HOL Case Study: The Specification and Verification of a Sliding
% Window Protocol.  By Rachel Cardell-Oliver.
% Modified to run in HOL12 in May 1991
% =====================================================================

\documentstyle[12pt,twoside,fleqn,layout]{article}

% ---------------------------------------------------------------------
% Preliminary settings etc.
% ---------------------------------------------------------------------

\renewcommand{\topfraction}{0.8}	  % 0.8 of the top page can be fig.
\renewcommand{\bottomfraction}{0.8}	  % 0.8 of the bottom page can be fig.
\renewcommand{\textfraction}{0.1}	  % 0.1 of the page must contain text
\setcounter{totalnumber}{4}	 	  % max of 4 figures per page
\setcounter{secnumdepth}{3}		  % number sections down to level 3
\setcounter{tocdepth}{3}		  % toc contains numbers to level 3

% ---------------------------------------------------------------------
% Macros
% ---------------------------------------------------------------------
\input{commands}

\begin{document}

  \pagestyle{plain}

  \input{sect1}
  \input{sect2}
  \input{sect3}
  \input{appendix}

\end{document}

