diff options
Diffstat (limited to 'preamble.tex')
| -rw-r--r-- | preamble.tex | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/preamble.tex b/preamble.tex index 09d21a2..ce5a946 100644 --- a/preamble.tex +++ b/preamble.tex @@ -12,6 +12,7 @@ % Taakspecifieke packages \usepackage{amsmath} +\usepackage{prooftree} \usepackage{stackrel} \usepackage{syntax} |