diff -r 6acb28e5ba41 -r 0f3fdf689bf9 src/Benchmarks/ROOT
--- a/src/Benchmarks/ROOT	Mon Apr 24 11:23:07 2017 +0200
+++ b/src/Benchmarks/ROOT	Mon Apr 24 11:52:51 2017 +0200
@@ -1,6 +1,6 @@
 chapter HOL
 
-session "HOL-Datatype_Benchmark" in Datatype_Benchmark = HOL +
+session "HOL-Datatype_Benchmark" in Datatype_Benchmark = "HOL-Library" +
   description {*
     Big (co)datatypes.
   *}
@@ -10,7 +10,7 @@
     IsaFoR
     Misc_N2M
 
-session "HOL-Quickcheck_Benchmark" in Quickcheck_Benchmark = HOL +
+session "HOL-Quickcheck_Benchmark" in Quickcheck_Benchmark = "HOL-Library" +
   theories [quick_and_dirty]
     Find_Unused_Assms_Examples
     Needham_Schroeder_No_Attacker_Example