--- a/src/Doc/Locales/document/root.tex Tue Jul 22 14:03:00 2014 +0200
+++ b/src/Doc/Locales/document/root.tex Tue Jul 22 14:36:31 2014 +0200
@@ -1,5 +1,7 @@
\documentclass[11pt,a4paper]{article}
\usepackage[T1]{fontenc}
+\usepackage{tikz}
+\usepackage{subfigure}
\usepackage[nohyphen,strings]{underscore}
\usepackage{amsmath}
\usepackage{isabelle,isabellesym}
@@ -11,10 +13,6 @@
\usepackage{pdfsetup}
-\usepackage{ifpdf}
-\usepackage{tikz}
-\usepackage{subfigure}
-
\isadroptag{theory}
\isafoldtag{proof}