\usepackage[dutch,english]{babel}
\usepackage{tocbasic}
\usepackage{stmaryrd}
\usepackage{float}
\usepackage{graphicx}
\usepackage{url}
\usepackage{pgf}
\usepackage{tikz}
\usepackage{subfigure}
\usepackage{color}
\usepackage{xcolor}
\usepackage{amsmath}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{amsthm}
\usepackage{stmaryrd}
\usepackage{mathpartir}
\usepackage{mainsty}
\usepackage{makeidx}
\usepackage{index}
\usepackage{multicol}
\usepackage{mathptmx}
\usepackage{mathtools}
\usepackage[toc]{appendix}
\usepackage{natbib}
\usepackage[noadjust]{marginnote}
\usepackage{ifthen}
\usepackage{array}
%% \usepackage{varioref}
%% \usepackage{cleveref}
\usepackage{scrhack}
%% \usepackage{txfonts}
%% \usepackage{listings}
%% \usepackage{fncychap}

\usepackage[ pdftex, pdfstartpage=1, baseurl=http://www.linkedin.com/in/amiddelk
           , bookmarks, bookmarksnumbered, bookmarksopen=false
           , breaklinks, colorlinks
           , pdftitle={Inference of Program Properties with Attribute Grammars, Revisited}
           , pdfsubject={Inference with Attribute Grammars}
           , pdfkeywords={type,inference,attribute,grammar,nondeterminism,fixpoint,iteration,unification,residuation}
           , pdfcreator={LaTeX with Lhs2TeX}
           , pdfproducer={pdflatex}
           , pdfauthor={Adriaan Middelkoop}
           , linkcolor=black
           , citecolor=black
           , filecolor=black
           , urlcolor=black
           ]{hyperref}

\DeclareMathAlphabet{\mathcal}{OMS}{cmsy}{m}{n}  %% mathptmx screws up the mathcal font

\usetikzlibrary{trees,arrows,fit,decorations,positioning,shapes}

\theoremstyle{plain}
\newtheorem*{prf}{Proof}
\theoremstyle{definition}
\newtheorem*{defi}{Definition}

\floatstyle{boxed}
\restylefloat{figure}
\setlength{\fboxsep}{1.4pt}

\setcounter{tocdepth}{3}
\setcounter{secnumdepth}{3}

\hyphenation{Dijk-stra}
\hyphenation{Swier-stra}
\hyphenation{Mid-del-koop}

%if singleChapter
\newcommand\tref[1]{9.9}
\newcommand\rref[1]{9.9}
%else
\newcommand\tref[1]{\ref{#1}}
\newcommand\rref[1]{\ref{#1}}
%endif


%% Dont need listings package anymore
%if False
\lstset{%
  language=java,
  basicstyle=\footnotesize\rmfamily,
  showstringspaces=false,
  numbers=none,
  morekeywords={},
  tabsize=2,
  resetmargins=false
}
%endif


%%%%% BEGIN DISABLED FUNCTIONALITY %%%%%%
%if False
%include util/LineNo.fmt

\makeatletter
\lst@@AddToHook{OnNewLine}{\hslNewLine{}}
\lst@@AddToHook{OnBlankLine}{\hslNewLine{}}
\lst@@AddToHook{PostOutput}{\hslLineMark{}}
\makeatother

\newcounter{lineCounter}
\setcounter{lineCounter}{1}
\newcommand\lineRenderer[0]{\marginnote{{\hfill\ttfamily\tiny\arabic{lineCounter}\stepcounter{lineCounter}}}}
\hslSetRenderer{\lineRenderer}
%endif
%%%%% END DISABLED FUNCTIONALITY %%%%%%


\renewcommand{\hscodestyle}{\normalsize}
\newenvironment{smallcode}[0]{\renewcommand{\hscodestyle}{\small}}{\renewcommand{\hscodestyle}{\normalsize}}

\newcommand\kw[1]{\ensuremath{\mathbf{#1}}}
\newcommand\uw[1]{\ensuremath{\underline{\mathit{#1}}}}

\newcommand\Thiswork[0]{This chapter}
\newcommand\thiswork[0]{this chapter}

\newcommand\textualcite[2]{\citet{#2}}


%% CV Stuff
\newenvironment{cvitem}[1] %
{\vspace{\baselineskip}\noindent\rule{1ex}{1ex}\hspace{1ex} \textbf{#1} \\ \ignorespaces} %
{\par\noindent\ignorespacesafterend} %

%% Heading stuff