# HG changeset patch
# User wenzelm
# Date 1594998414 -7200
# Node ID b9f5f30b623f140ab767c130c4c73561fc4e40ac
# Parent  deb390860f0790588fc7e2805bba96b3c7659237
proper session imports;

diff -r deb390860f07 -r b9f5f30b623f src/HOL/ROOT
--- a/src/HOL/ROOT	Fri Jul 17 15:13:03 2020 +0200
+++ b/src/HOL/ROOT	Fri Jul 17 17:06:54 2020 +0200
@@ -320,7 +320,8 @@
 session "HOL-Codegenerator_Test" in Codegenerator_Test = "HOL-Number_Theory" +
   sessions
     "HOL-Data_Structures"
-    "HOL-ex"
+    "HOL-Examples"
+    "HOL-Word"
   theories
     Generate
     Generate_Binary_Nat