--- a/src/Tools/Haskell/Haskell.thy Tue Feb 09 15:40:23 2021 +0100
+++ b/src/Tools/Haskell/Haskell.thy Wed Feb 10 22:30:51 2021 +0100
@@ -167,7 +167,7 @@
\<close>
generate_file "Isabelle/Value.hs" = \<open>
-{- Title: Haskell/Tools/Value.hs
+{- Title: Isabelle/Value.hs
Author: Makarius
LICENSE: BSD 3-clause (Isabelle)
@@ -296,7 +296,7 @@
\<close>
generate_file "Isabelle/Markup.hs" = \<open>
-{- Title: Haskell/Tools/Markup.hs
+{- Title: Isabelle/Markup.hs
Author: Makarius
LICENSE: BSD 3-clause (Isabelle)