diff options
author | Camil Staps | 2016-04-27 11:10:55 +0200 |
---|---|---|
committer | Camil Staps | 2016-04-27 11:10:55 +0200 |
commit | 1db021c55e0ca36f6942269e03b5c02d6aa24563 (patch) | |
tree | 99735e09969255427a7868a17ed176cd525247bf /preamble.tex | |
parent | Reorganisatie (diff) |
Get
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} |