# HG changeset patch
# User wenzelm
# Date 1612992651 -3600
# Node ID b9c480878663fa7a02d3a08294b436610b9376af
# Parent  f69cbb59813ece0a3e4ff7f0b770c65a50493a63
tuned comments;

diff -r f69cbb59813e -r b9c480878663 src/Tools/Haskell/Haskell.thy
--- 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)