# HG changeset patch
# User wenzelm
# Date 1238501398 -7200
# Node ID 38767385ad53164df53463726e955f52804ed12c
# Parent  4de62c902f9a7222b5eba6fac071d0610769f697
tuned document;

diff -r 4de62c902f9a -r 38767385ad53 src/HOL/Isar_examples/document/style.tex
--- 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}