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} |