Mercurial Mercurial > hg > isabelle-cookbook / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
small typo
authorChristian Urban <urbanc@in.tum.de>
Thu, 23 May 2019 00:56:39 +0100
changeset 576 b78c4fab81a9
parent 575 c3dbc04471a9
child 577 d1523393dd5a
small typo
ProgTutorial/Recipes/TimeLimit.thy file | annotate | diff | comparison | revisions 
--- 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}
isabelle-cookbook