src/Doc/Corec/Corec.thy

--- a/src/Doc/Corec/Corec.thy	Thu Aug 11 18:26:16 2016 +0200
+++ b/src/Doc/Corec/Corec.thy	Thu Aug 11 18:26:44 2016 +0200
@@ -127,7 +127,7 @@
 text \<open>
 The package is illustrated through concrete examples featuring different flavors
 of corecursion. More examples can be found in the directory
-@{file "~~/src/HOL/Corec_Examples"}.
+@{dir "~~/src/HOL/Corec_Examples"}.
 \<close>