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