
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}
 
  




