src/HOL/Probability/document/root.tex

--- a/src/HOL/Probability/document/root.tex	Tue Oct 07 10:48:29 2014 +0200
+++ b/src/HOL/Probability/document/root.tex	Tue Oct 07 14:02:24 2014 +0200
@@ -6,6 +6,7 @@
 \usepackage[only,bigsqcap]{stmaryrd}
 \usepackage[utf8]{inputenc}
 \usepackage{pdfsetup}
+\usepackage[english]{babel}
 
 \urlstyle{rm}
 \isabellestyle{it}