# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1558569399 -3600
# Node ID b78c4fab81a92dd729fe43193852ad231df4a439
# Parent  c3dbc04471a9992c1479bdbca77e167a629553cf
small  typo

diff -r c3dbc04471a9 -r b78c4fab81a9 ProgTutorial/Recipes/TimeLimit.thy
--- a/ProgTutorial/Recipes/TimeLimit.thy	Wed May 22 13:24:30 2019 +0200
+++ b/ProgTutorial/Recipes/TimeLimit.thy	Thu May 23 00:56:39 2019 +0100
@@ -41,7 +41,7 @@
 \begin{readmore}
    The function @{ML \<open>apply\<close> in Timeout} is defined in the structure
   @{ML_structure Timeout} which can be found in the file 
-  @{ML_file "Pure/concurrent/timeout.ML"}.
+  @{ML_file "Pure/Concurrent/timeout.ML"}.
 \end{readmore}