Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOLCF/HOLCF.thy
changeset 28892 435f3718ed9d
parent 26339 7825c83c9eff
child 29130 685c9e05a6ab 
--- a/src/HOLCF/HOLCF.thy	Tue Nov 25 23:29:01 2008 +0100
+++ b/src/HOLCF/HOLCF.thy	Tue Nov 25 23:29:26 2008 +0100
@@ -6,7 +6,7 @@
 *)
 
 theory HOLCF
-imports Sprod Ssum Up Lift Discrete One Tr Domain ConvexPD Main
+imports Sprod Ssum Up Lift Discrete One Tr Domain ConvexPD Algebraic Universal Main
 uses
   "holcf_logic.ML"
   "Tools/cont_consts.ML"
isabelle