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