summaryrefslogtreecommitdiff
path: root/preamble.tex
diff options
context:
space:
mode:
authorCamil Staps2016-04-27 11:10:55 +0200
committerCamil Staps2016-04-27 11:10:55 +0200
commit1db021c55e0ca36f6942269e03b5c02d6aa24563 (patch)
tree99735e09969255427a7868a17ed176cd525247bf /preamble.tex
parentReorganisatie (diff)
Get
Diffstat (limited to 'preamble.tex')
-rw-r--r--preamble.tex1
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}