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}