src/HOL/ROOT

--- a/src/HOL/ROOT	Mon Dec 07 22:02:57 2020 +0100
+++ b/src/HOL/ROOT	Mon Dec 07 22:28:41 2020 +0100
@@ -1146,7 +1146,7 @@
     Theory Correctness contains the proof of the abstraction from unbounded
     channels to finite ones.
 
-    Fole Check.ML contains a simple ModelChecker prototype checking Spec
+    File Check.ML contains a simple ModelChecker prototype checking Spec
     against the finite version of the ABP-protocol.
   "
   theories