From b8df20bd53ded6994b7d84a71249f0683bd62896 Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Fri, 26 Feb 2021 23:45:27 +0000
Subject: [PATCH] Import of AFP for Isabelle 2021.

---
 UPF_Firewall/document/root.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/UPF_Firewall/document/root.tex b/UPF_Firewall/document/root.tex
index 326a83b..ea3b54e 100644
--- a/UPF_Firewall/document/root.tex
+++ b/UPF_Firewall/document/root.tex
@@ -16,7 +16,7 @@
 \usepackage{paralist}
 \usepackage{xspace}
 \usepackage{amsmath}
-\usepackage[USenglish]{babel}
+\usepackage[english]{babel}
 \newcommand{\testgen}{HOL-TestGen\xspace}
 \newcommand{\testgenFW}{HOL-TestGen/FW\xspace}
 \usepackage[numbers, sort&compress, sectionbib]{natbib}