# HG changeset patch
# User wenzelm
# Date 1541271645 -3600
# Node ID 68f5dc2275ac6b61e41ee3b596c799426e78c317
# Parent  bf2fecda8383a5eae887659bc7dfd33afd9e5c4a
tuned whitespace;

diff -r bf2fecda8383 -r 68f5dc2275ac src/Tools/Haskell/Buffer.hs
--- a/src/Tools/Haskell/Buffer.hs	Sat Nov 03 19:33:15 2018 +0100
+++ b/src/Tools/Haskell/Buffer.hs	Sat Nov 03 20:00:45 2018 +0100
@@ -1,4 +1,5 @@
 {- GENERATED by Isabelle! -}
+
 {-  Title:      Tools/Haskell/Buffer.hs
     Author:     Makarius
     LICENSE:    BSD 3-clause (Isabelle)
diff -r bf2fecda8383 -r 68f5dc2275ac src/Tools/Haskell/Haskell.thy
--- a/src/Tools/Haskell/Haskell.thy	Sat Nov 03 19:33:15 2018 +0100
+++ b/src/Tools/Haskell/Haskell.thy	Sat Nov 03 20:00:45 2018 +0100
@@ -27,8 +27,8 @@
 
 section \<open>Source modules\<close>
 
-generate_haskell_file Library.hs =
-\<open>{-  Title:      Tools/Haskell/Library.hs
+generate_haskell_file Library.hs = \<open>
+{-  Title:      Tools/Haskell/Library.hs
     Author:     Makarius
     LICENSE:    BSD 3-clause (Isabelle)
 
@@ -81,8 +81,8 @@
     _ -> line
 \<close>
 
-generate_haskell_file Buffer.hs =
-\<open>{-  Title:      Tools/Haskell/Buffer.hs
+generate_haskell_file Buffer.hs = \<open>
+{-  Title:      Tools/Haskell/Buffer.hs
     Author:     Makarius
     LICENSE:    BSD 3-clause (Isabelle)
 
@@ -105,8 +105,8 @@
 content (Buffer xs) = concat (reverse xs)
 \<close>
 
-generate_haskell_file Properties.hs =
-\<open>{-  Title:      Tools/Haskell/Properties.hs
+generate_haskell_file Properties.hs = \<open>
+{-  Title:      Tools/Haskell/Properties.hs
     Author:     Makarius
     LICENSE:    BSD 3-clause (Isabelle)
 
@@ -137,8 +137,8 @@
   else props
 \<close>
 
-generate_haskell_file Markup.hs =
-\<open>{-  Title:      Haskell/Tools/Markup.hs
+generate_haskell_file Markup.hs = \<open>
+{-  Title:      Haskell/Tools/Markup.hs
     Author:     Makarius
     LICENSE:    BSD 3-clause (Isabelle)
 
@@ -167,8 +167,8 @@
 no_output = ("", "")
 \<close>
 
-generate_haskell_file XML.hs =
-\<open>{-  Title:      Tools/Haskell/XML.hs
+generate_haskell_file XML.hs = \<open>
+{-  Title:      Tools/Haskell/XML.hs
     Author:     Makarius
     LICENSE:    BSD 3-clause (Isabelle)
 
@@ -248,8 +248,8 @@
       show_text = concatMap encode
 \<close>
 
-generate_haskell_file YXML.hs =
-\<open>{-  Title:      Tools/Haskell/YXML.hs
+generate_haskell_file YXML.hs = \<open>
+{-  Title:      Tools/Haskell/YXML.hs
     Author:     Makarius
     LICENSE:    BSD 3-clause (Isabelle)
 
diff -r bf2fecda8383 -r 68f5dc2275ac src/Tools/Haskell/Library.hs
--- a/src/Tools/Haskell/Library.hs	Sat Nov 03 19:33:15 2018 +0100
+++ b/src/Tools/Haskell/Library.hs	Sat Nov 03 20:00:45 2018 +0100
@@ -1,4 +1,5 @@
 {- GENERATED by Isabelle! -}
+
 {-  Title:      Tools/Haskell/Library.hs
     Author:     Makarius
     LICENSE:    BSD 3-clause (Isabelle)
diff -r bf2fecda8383 -r 68f5dc2275ac src/Tools/Haskell/Markup.hs
--- a/src/Tools/Haskell/Markup.hs	Sat Nov 03 19:33:15 2018 +0100
+++ b/src/Tools/Haskell/Markup.hs	Sat Nov 03 20:00:45 2018 +0100
@@ -1,4 +1,5 @@
 {- GENERATED by Isabelle! -}
+
 {-  Title:      Haskell/Tools/Markup.hs
     Author:     Makarius
     LICENSE:    BSD 3-clause (Isabelle)
diff -r bf2fecda8383 -r 68f5dc2275ac src/Tools/Haskell/Properties.hs
--- a/src/Tools/Haskell/Properties.hs	Sat Nov 03 19:33:15 2018 +0100
+++ b/src/Tools/Haskell/Properties.hs	Sat Nov 03 20:00:45 2018 +0100
@@ -1,4 +1,5 @@
 {- GENERATED by Isabelle! -}
+
 {-  Title:      Tools/Haskell/Properties.hs
     Author:     Makarius
     LICENSE:    BSD 3-clause (Isabelle)
diff -r bf2fecda8383 -r 68f5dc2275ac src/Tools/Haskell/XML.hs
--- a/src/Tools/Haskell/XML.hs	Sat Nov 03 19:33:15 2018 +0100
+++ b/src/Tools/Haskell/XML.hs	Sat Nov 03 20:00:45 2018 +0100
@@ -1,4 +1,5 @@
 {- GENERATED by Isabelle! -}
+
 {-  Title:      Tools/Haskell/XML.hs
     Author:     Makarius
     LICENSE:    BSD 3-clause (Isabelle)
diff -r bf2fecda8383 -r 68f5dc2275ac src/Tools/Haskell/YXML.hs
--- a/src/Tools/Haskell/YXML.hs	Sat Nov 03 19:33:15 2018 +0100
+++ b/src/Tools/Haskell/YXML.hs	Sat Nov 03 20:00:45 2018 +0100
@@ -1,4 +1,5 @@
 {- GENERATED by Isabelle! -}
+
 {-  Title:      Tools/Haskell/YXML.hs
     Author:     Makarius
     LICENSE:    BSD 3-clause (Isabelle)