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.
add Algebraic and Universal to imports
authorhuffman
Tue, 25 Nov 2008 23:29:26 +0100
changeset 28892 435f3718ed9d
parent 28891 f199def7a6a5
child 28893 4e6fd31c9883
add Algebraic and Universal to imports
src/HOLCF/HOLCF.thy file | annotate | diff | comparison | revisions 
--- 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