src/HOL/Isar_examples/document/style.tex
changeset 8584 016314c2fa0a
parent 8020 2823ce1753a5
child 9659 b9cf6801f3da
--- a/src/HOL/Isar_examples/document/style.tex	Sun Mar 26 20:13:53 2000 +0200
+++ b/src/HOL/Isar_examples/document/style.tex	Sun Mar 26 20:16:34 2000 +0200
@@ -2,7 +2,7 @@
 %% $Id$
 
 \documentclass[11pt,a4paper]{article}
-\usepackage{comment,proof,isabelle,isabellesym,pdfsetup}
+\usepackage{proof,isabelle,isabellesym,pdfsetup}
 
 \renewcommand{\isamarkupheader}[1]{\section{#1}}