Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
actually use theory;
authorwenzelm
Sun, 23 Apr 2017 23:54:06 +0200
changeset 65570 660df4a6dc59
parent 65569 3cb6f3281ef1
child 65571 923e32ad0976
actually use theory;
src/HOL/ROOT file | annotate | diff | comparison | revisions 
--- 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 {*
isabelle