app-trees.tex


1
2
3
4
5
6
7
8
9
10
11
12
13
14

\newgeometry{margin=15mm,bottom=22mm}
\begin{landscape}
	\section{Afleidingsbomen}
	\label{sec:app:trees}
	\scriptsize
	\scalebox{0.5}{
		$$
		\begin{prooftree}
			\input{tree-gen-lambda}
		\end{prooftree}
		$$}
	
	
\end{landscape}