diff options
Diffstat (limited to 'app-trees.tex')
-rw-r--r-- | app-trees.tex | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/app-trees.tex b/app-trees.tex index c91c8ef..52509d0 100644 --- a/app-trees.tex +++ b/app-trees.tex @@ -7,6 +7,7 @@ \begin{prooftree} \input{tree-gen-leeg} \end{prooftree} - $$ - } + $$} + + \end{landscape} |