diff -r 90fe1a1d7d0e -r 8b41d01b5e5d thys/Paper/document/root.tex
--- a/thys/Paper/document/root.tex	Sat Mar 05 04:01:10 2016 +0000
+++ b/thys/Paper/document/root.tex	Sat Mar 05 05:41:51 2016 +0000
@@ -7,6 +7,7 @@
 \usepackage{mathpartir}
 \usepackage{tikz}
 \usepackage{pgf}
+\usetikzlibrary{positioning}
 \usepackage{pdfsetup}
 \usepackage{ot1patch}
 \usepackage{stmaryrd}