change Theory.requires
authorhuffman
Thu, 19 Nov 2009 12:05:49 -0800
changeset 33792 002e0e017311
parent 33791 fef59343b4b3
child 33793 5beafabffa07
change Theory.requires
src/HOLCF/Tools/Domain/domain_isomorphism.ML
--- a/src/HOLCF/Tools/Domain/domain_isomorphism.ML	Thu Nov 19 11:54:23 2009 -0800
+++ b/src/HOLCF/Tools/Domain/domain_isomorphism.ML	Thu Nov 19 12:05:49 2009 -0800
@@ -307,7 +307,7 @@
     (thy: theory)
     : theory =
   let
-    val _ = Theory.requires thy "Domain" "domain definitions";
+    val _ = Theory.requires thy "Representable" "domain isomorphisms";
 
     (* this theory is used just for parsing *)
     val tmp_thy = thy |>