
\documentclass[12pt,a4wide]{article}

\usepackage{epsfig,alltt,pstricks,graphicx,url,pgf}
\usepackage{amsmath,amssymb,amsfonts} % Typical maths resource packages
\usepackage{color}                    % For creating coloured text and background
\usepackage{wrapfig}

%\everymath{\red}
%\everydisplay{\red}



\input{prelims}

%\parindent 0cm
%\parskip 0.15cm
%\parskip 3cm
%\topmargin 0.2cm
%\oddsidemargin 1cm
%\evensidemargin 0.5cm
%\textwidth 15cm
%\textheight 21cm

%\oddsidemargin 0cm
%\evensidemargin cm
%\textwidth 19cm
%\textheight 24cm

%\usepackage[top=30mm, bottom=0mm, left=6mm, right=0mm]{geometry} 
%\usepackage[top=30mm, bottom=0mm, left=33mm, right=0mm]{geometry}

\usepackage[top=30mm, bottom=0mm]{geometry}  

\title{Notes to accompany the Part II course {\it Temporal Logic and Model Checking\/}}

\author{Mike Gordon  \\
{\small\em \copyright \  Draft date \today }}
 \date{ }


\begin{document}

\setcounter{page}{0}

\thispagestyle{empty}

\bigskip

{\large

\hspace*{-22mm}
\begin{tabular}{|ll|} \hline
 & \\

{\LARGE\bf Title:}         & {\LARGE\it Temporal Logic and Model Checking~~} \\[5mm]

{\Large\bf Lecturer:}      & {\bf Mike Gordon}\\[5mm]

{\Large\bf Class:}         & {\bf Computer Science Tripos, Part II}\\[5mm]


{\Large\bf Duration:}      & {\bf Eight lectures}\\[5mm] \hline

\end{tabular}
}

\thispagestyle{empty}

%\newpage

\thispagestyle{empty}
\mbox{}

\vfill
\centerline{\fbox{\huge Document created \today}}
\vfill
\newpage

\setcounter{page}{1}

