
diff -r 79858bd9f5ef -r d2c60ada3ece src/Doc/Classes/document/root.tex
--- a/src/Doc/Classes/document/root.tex	Fri Dec 07 17:00:40 2012 +0100
+++ b/src/Doc/Classes/document/root.tex	Fri Dec 07 18:05:24 2012 +0100
@@ -1,6 +1,6 @@
 \documentclass[12pt,a4paper,fleqn]{article}
 \usepackage{latexsym,graphicx}
-\usepackage{iman,extra,isar,proof}
+\usepackage{iman,extra,isar}
 \usepackage{isabelle,isabellesym}
 \usepackage{style}
 \usepackage{pdfsetup}




