1.1 --- a/src/HOL/Isar_examples/document/style.tex	Tue Mar 31 14:09:28 2009 +0200
     1.2 +++ b/src/HOL/Isar_examples/document/style.tex	Tue Mar 31 14:09:58 2009 +0200
     1.3 @@ -1,8 +1,6 @@
     1.4 -
     1.5 -%% $Id$
     1.6 -
     1.7  \documentclass[11pt,a4paper]{article}
     1.8 -\usepackage{ifthen,proof,isabelle,isabellesym}
     1.9 +\usepackage[only,bigsqcap]{stmaryrd}
    1.10 +\usepackage{ifthen,proof,amssymb,isabelle,isabellesym}
    1.11  \isabellestyle{it}
    1.12  \usepackage{pdfsetup}\urlstyle{rm}
    1.13