# HG changeset patch
# User haftmann
# Date 1268662402 -3600
# Node ID 533dd944e29ca70d049a0dcae76c4869323b1d2c
# Parent  5b95a36c154307d317cf74ea1c799fc773cc5100# Parent  2d44d2a1f68ed7f5503c4673c0757ce566c771bf
merged

diff -r 2d44d2a1f68e -r 533dd944e29c src/HOL/Library/Library/document/root.tex
--- a/src/HOL/Library/Library/document/root.tex	Mon Mar 15 15:13:07 2010 +0100
+++ b/src/HOL/Library/Library/document/root.tex	Mon Mar 15 15:13:22 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}