src/Tools/Haskell/Haskell.thy

 module Isabelle.Library (
   (|>), (|->), (#>), (#->),
 
   the, the_default,
 
-  fold, fold_rev, single, map_index, get_index,
+  fold, fold_rev, single, map_index, get_index, separate,
 
   proper_string, quote, space_implode, commas, commas_quote, cat_lines,
   space_explode, split_lines, trim_line, clean_name)
 where
 

   str, brk_indent, brk, fbrk, breaks, fbreaks, blk, block, strs, markup, mark, mark_str, marks_str,
   item, text_fold, keyword1, keyword2, text, paragraph, para, quote, cartouche, separate,
   commas, enclose, enum, list, str_list, big_list)
 where
 
-import Isabelle.Library hiding (quote, commas)
+import Isabelle.Library hiding (quote, separate, commas)
 import qualified Data.List as List
 import qualified Isabelle.Buffer as Buffer
 import qualified Isabelle.Markup as Markup
 import qualified Isabelle.XML as XML
 import qualified Isabelle.YXML as YXML