src/Doc/Codegen/document/root.tex

--- a/src/Doc/Codegen/document/root.tex	Fri Dec 07 17:00:40 2012 +0100
+++ b/src/Doc/Codegen/document/root.tex	Fri Dec 07 18:05:24 2012 +0100
@@ -2,7 +2,7 @@
 \documentclass[12pt,a4paper,fleqn]{article}
 \usepackage{latexsym,graphicx}
 \usepackage{multirow}
-\usepackage{iman,extra,isar,proof}
+\usepackage{iman,extra,isar}
 \usepackage{isabelle,isabellesym}
 \usepackage{style}
 \usepackage{pdfsetup}