src/HOL/Bali/document/root.tex

--- a/src/HOL/Bali/document/root.tex	Tue Sep 09 19:33:22 2008 +0200
+++ b/src/HOL/Bali/document/root.tex	Tue Sep 09 19:36:21 2008 +0200
@@ -4,7 +4,7 @@
 \usepackage{latexsym}
 \usepackage{graphicx}
 \usepackage{pdfsetup}
-\usepackage[french,english]{babel}
+\usepackage[english]{babel}
 \usepackage{ifthen}
 
 \urlstyle{rm}