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)