tuned comments;
authorwenzelm
Wed, 10 Feb 2021 22:30:51 +0100
changeset 73492 b9c480878663
parent 73491 f69cbb59813e
child 73493 d92409f8203a
tuned comments;
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)