diff -r fa92c5f8af86 -r d3d6e01a6b00 src/Tools/ROOT
--- a/src/Tools/ROOT	Mon Aug 02 14:08:42 2021 +0200
+++ b/src/Tools/ROOT	Mon Aug 02 17:20:16 2021 +0200
@@ -8,7 +8,7 @@
   theories
     Examples
 
-session Haskell in Haskell = Pure +
+session Haskell in Haskell = HOL +
   theories
     Haskell
   theories [condition = ISABELLE_GHC_STACK]