tree.tex


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

\documentclass[border=1cm]{standalone}

\usepackage[shorthands=off,dutch]{babel}
\usepackage{caption}

\usepackage{prooftree}
\usepackage{smurf}

\begin{document}

$$
\begin{prooftree}
	\input{\filename}
\end{prooftree}
$$

\end{document}