disable write_updates from f425bbc4b2eb for now: "isabelle build_process -rf" does not quite work yet;
chapter Misc
session Tools = Pure +
theories
Code_Generator
Profiling
session SML in SML = Pure +
theories
Examples
session Haskell in Haskell = HOL +
theories
Haskell
theories [condition = ISABELLE_GHC_STACK]
Test