tuned document;

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