proper session imports;
authorwenzelm
Fri, 17 Jul 2020 17:06:54 +0200
changeset 72286 b9f5f30b623f
parent 72285 deb390860f07
child 72287 ce3f26b4e790
proper session imports;
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