# HG changeset patch
# User wenzelm
# Date 1492984446 -7200
# Node ID 660df4a6dc59988061497751c6825267512ceebd
# Parent  3cb6f3281ef1927713a90308a346ec81b5e37095
actually use theory;

diff -r 3cb6f3281ef1 -r 660df4a6dc59 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 {*