\input{../LaTeX/cover_info}

\begin{titlepage}
\null\vskip-47pt
\hbox to \textwidth {\bf VERSION 2 { \hfil \today}}

\setcounter{page}{1}		          % titlepage IS page 1

\vspace*{60mm}


\begin{center}
 {\Huge\bf The HOL System}\\[0.4cm]
{\LARGE\bf TUTORIAL}\\[2.5cm]
\end{center}


\vspace*{100mm}
\begin{center}
\begin{tabular}{ccc}
University of Cambridge & \hspace*{10ex}DSTO\hspace*{10ex} & SRI International
\end{tabular}

\end{center}

\vfill
\end{titlepage}

% To kick a blank page with no header
\thispagestyle{empty}
\mbox{}
\newpage

