% begin palatino.sty
% copied from palatino.sty, except left ttdefault as CMTT
\renewcommand{\rmdefault}{ppl}
\renewcommand{\sfdefault}{phv}
% \renewcommand{\ttdefault}{pcr}
% end palatino.sty

\usepackage{amssymb}
\usepackage{proof}
\setlength{\inferLineSkip}{4pt}
\usepackage[breaklinks=true,
  colorlinks=true,
  citecolor=blue,
  linkcolor=blue,
  urlcolor=blue]{hyperref}

\title{\projectstage \\ \projecttitle}
\author{15-816 Modal Logic \\ \authors}
\date{\projectdate}

\usepackage{fancyhdr}
\pagestyle{fancyplain}
\setlength{\headheight}{14pt}
\addtolength{\oddsidemargin}{30pt}
\addtolength{\evensidemargin}{-22pt}

\lhead[\fancyplain{}{\bfseries \thepage}]%
      {\fancyplain{}{\bfseries \projecttitle}}
\chead[]{}
\rhead[\fancyplain{}{\bfseries \projecttitle}]%
      {\fancyplain{}{\bfseries \thepage}}
\lfoot[{\small\scshape \projectstage}]{{\small\scshape \projectstage}}
\cfoot[]{}
\rfoot[{\small\scshape \projectdate}]{{\small\scshape \projectdate}}
