src/ZF/document/root.tex

--- a/src/ZF/document/root.tex	Tue Apr 20 22:53:24 2021 +0200
+++ b/src/ZF/document/root.tex	Thu Apr 22 10:11:11 2021 +0200
@@ -2,7 +2,6 @@
 \usepackage[T1]{fontenc}
 \usepackage{graphicx,isabelle,isabellesym}
 \usepackage{amssymb}
-\usepackage[english]{babel}
 
 % this should be the last package used
 \usepackage{pdfsetup}