# HG changeset patch
# User wenzelm
# Date 1607376521 -3600
# Node ID 4cb480334f488d3043ce3cc92123b4ce7b0db6be
# Parent  c83883da98d6b299e80145f46f2070b181a6fc2f
spelling;

diff -r c83883da98d6 -r 4cb480334f48 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