src/HOL/ROOT

--- a/src/HOL/ROOT	Sun Apr 23 23:49:14 2017 +0200
+++ b/src/HOL/ROOT	Sun Apr 23 23:54:06 2017 +0200
@@ -1070,7 +1070,9 @@
 
 session "HOLCF-Library" in "HOLCF/Library" = HOLCF +
   options [document = false]
-  theories HOLCF_Library
+  theories
+    HOLCF_Library
+    HOL_Cpo
 
 session "HOLCF-IMP" in "HOLCF/IMP" = HOLCF +
   description {*