src/HOL/Isar_examples/document/style.tex
changeset 7982 d534b897ce39
parent 7968 964b65b4e433
child 8020 2823ce1753a5
--- a/src/HOL/Isar_examples/document/style.tex	Sat Oct 30 20:13:16 1999 +0200
+++ b/src/HOL/Isar_examples/document/style.tex	Sat Oct 30 20:20:48 1999 +0200
@@ -2,7 +2,7 @@
 %% $Id$
 
 \documentclass[11pt,a4paper]{article}
-\usepackage{comment,proof,isabelle,pdfsetup}
+\usepackage{comment,proof,isabelle,isabellesym,pdfsetup}
 
 \renewcommand{\isamarkupheader}[1]{\section{#1}}