# HG changeset patch
# User haftmann
# Date 1268657974 -3600
# Node ID 5b95a36c154307d317cf74ea1c799fc773cc5100
# Parent  8cd7134275cc3cbfc046a5fbc1b930aa2ed726c3
added stmaryrd for isasymSqinter

diff -r 8cd7134275cc -r 5b95a36c1543 src/HOL/Library/Library/document/root.tex
--- a/src/HOL/Library/Library/document/root.tex	Sun Mar 14 19:48:33 2010 -0700
+++ b/src/HOL/Library/Library/document/root.tex	Mon Mar 15 13:59:34 2010 +0100
@@ -2,7 +2,7 @@
 \usepackage{ifthen}
 \usepackage[latin1]{inputenc}
 \usepackage[english]{babel}
-\usepackage{isabelle,isabellesym,amssymb}
+\usepackage{isabelle,isabellesym,amssymb,stmaryrd}
 \usepackage{pdfsetup}
 
 \urlstyle{rm}