# 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 {*