src/HOL/Isar_examples/document/style.tex

--- a/src/HOL/Isar_examples/document/style.tex	Fri Oct 08 15:08:47 1999 +0200
+++ b/src/HOL/Isar_examples/document/style.tex	Fri Oct 08 15:09:14 1999 +0200
@@ -2,7 +2,7 @@
 %% $Id$
 
 \documentclass[11pt,a4paper]{article}
-\usepackage{isabelle,pdfsetup}
+\usepackage{comment,isabelle,pdfsetup}
 
 \renewcommand{\isamarkupheader}[1]{\section{#1}}
 \parindent 0pt \parskip 0.5ex