--- a/src/Tools/Haskell/YXML.hs Sat Nov 03 20:00:45 2018 +0100 +++ b/src/Tools/Haskell/YXML.hs Sat Nov 03 20:09:39 2018 +0100 @@ -1,4 +1,4 @@ -{- GENERATED by Isabelle! -} +{- generated by Isabelle -} {- Title: Tools/Haskell/YXML.hs Author: Makarius