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