--- 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)