# HG changeset patch
# User wenzelm
# Date 1544480377 -3600
# Node ID bff0011cdf42c2700cf798e24e581b1e53e789df
# Parent  c3c9440cbf9b3afd91a0b7ef8a85a6f98839b688
tuned headers;

diff -r c3c9440cbf9b -r bff0011cdf42 src/Tools/Haskell/Haskell.thy
--- a/src/Tools/Haskell/Haskell.thy	Mon Dec 10 23:03:20 2018 +0100
+++ b/src/Tools/Haskell/Haskell.thy	Mon Dec 10 23:19:37 2018 +0100
@@ -9,7 +9,7 @@
 begin
 
 generate_file "Isabelle/Library.hs" = \<open>
-{-  Title:      Tools/Haskell/Library.hs
+{-  Title:      Isabelle/Library.hs
     Author:     Makarius
     LICENSE:    BSD 3-clause (Isabelle)
 
@@ -156,7 +156,7 @@
 \<close>
 
 generate_file "Isabelle/Buffer.hs" = \<open>
-{-  Title:      Tools/Haskell/Buffer.hs
+{-  Title:      Isabelle/Buffer.hs
     Author:     Makarius
     LICENSE:    BSD 3-clause (Isabelle)
 
@@ -182,7 +182,7 @@
 \<close>
 
 generate_file "Isabelle/Properties.hs" = \<open>
-{-  Title:      Tools/Haskell/Properties.hs
+{-  Title:      Isabelle/Properties.hs
     Author:     Makarius
     LICENSE:    BSD 3-clause (Isabelle)
 
@@ -586,7 +586,7 @@
 \<close>
 
 generate_file "Isabelle/Completion.hs" = \<open>
-{-  Title:      Tools/Haskell/Completion.hs
+{-  Title:      Isabelle/Completion.hs
     Author:     Makarius
     LICENSE:    BSD 3-clause (Isabelle)
 
@@ -647,7 +647,7 @@
 \<close>
 
 generate_file "Isabelle/File.hs" = \<open>
-{-  Title:      Tools/Haskell/File.hs
+{-  Title:      Isabelle/File.hs
     Author:     Makarius
     LICENSE:    BSD 3-clause (Isabelle)
 
@@ -682,7 +682,7 @@
 \<close>
 
 generate_file "Isabelle/XML.hs" = \<open>
-{-  Title:      Tools/Haskell/XML.hs
+{-  Title:      Isabelle/XML.hs
     Author:     Makarius
     LICENSE:    BSD 3-clause (Isabelle)
 
@@ -761,7 +761,7 @@
 \<close>
 
 generate_file "Isabelle/XML/Encode.hs" = \<open>
-{-  Title:      Tools/Haskell/XML/Encode.hs
+{-  Title:      Isabelle/XML/Encode.hs
     Author:     Makarius
     LICENSE:    BSD 3-clause (Isabelle)
 
@@ -847,7 +847,7 @@
 \<close>
 
 generate_file "Isabelle/XML/Decode.hs" = \<open>
-{-  Title:      Tools/Haskell/XML/Decode.hs
+{-  Title:      Isabelle/XML/Decode.hs
     Author:     Makarius
     LICENSE:    BSD 3-clause (Isabelle)
 
@@ -958,7 +958,7 @@
 \<close>
 
 generate_file "Isabelle/YXML.hs" = \<open>
-{-  Title:      Tools/Haskell/YXML.hs
+{-  Title:      Isabelle/YXML.hs
     Author:     Makarius
     LICENSE:    BSD 3-clause (Isabelle)
 
@@ -1086,7 +1086,7 @@
 \<close>
 
 generate_file "Isabelle/Pretty.hs" = \<open>
-{-  Title:      Tools/Haskell/Pretty.hs
+{-  Title:      Isabelle/Pretty.hs
     Author:     Makarius
     LICENSE:    BSD 3-clause (Isabelle)
 
@@ -1240,7 +1240,7 @@
 \<close>
 
 generate_file "Isabelle/Term.hs" = \<open>
-{-  Title:      Tools/Haskell/Term.hs
+{-  Title:      Isabelle/Term.hs
     Author:     Makarius
     LICENSE:    BSD 3-clause (Isabelle)
 
@@ -1287,7 +1287,7 @@
 \<close>
 
 generate_file "Isabelle/Term_XML/Encode.hs" = \<open>
-{-  Title:      Tools/Haskell/Term_XML/Encode.hs
+{-  Title:      Isabelle/Term_XML/Encode.hs
     Author:     Makarius
     LICENSE:    BSD 3-clause (Isabelle)
 
@@ -1329,7 +1329,7 @@
 \<close>
 
 generate_file "Isabelle/Term_XML/Decode.hs" = \<open>
-{-  Title:      Tools/Haskell/Term_XML/Decode.hs
+{-  Title:      Isabelle/Term_XML/Decode.hs
     Author:     Makarius
     LICENSE:    BSD 3-clause (Isabelle)