--- a/src/HOL/Bali/document/root.tex Tue Apr 20 22:53:24 2021 +0200
+++ b/src/HOL/Bali/document/root.tex Thu Apr 22 10:11:11 2021 +0200
@@ -4,7 +4,6 @@
\usepackage{latexsym}
\usepackage{graphicx}
\usepackage{pdfsetup}
-\usepackage[english]{babel}
\usepackage{ifthen}
\urlstyle{rm}