\usepackage{hyperref}
\usepackage[a4paper]{geometry}
\usepackage{proof}
+\usepackage{lscape}
\title{Compiler Construction: SPL Compiler}
\author{Pim Jager\and Mart Lubbers}
lastline=42]{../../AST.dcl}
\newpage
+\begin{landscape}
\subsection{Inference rules} \label{sec:infRules}
\input{infRules.tex}
+\end{landscape}
\end{document}