# HG changeset patch
# User huffman
# Date 1289571089 28800
# Node ID 094e5d1f5bafb3d16cddcceb8c8fda44805c197e
# Parent  638943ad5bdce12640db4c42266fda8a79d813ba# Parent  f9057eca82f197a06cfd6ec73e093cd6bdcaf35f
merged

diff -r f9057eca82f1 -r 094e5d1f5baf src/HOLCF/Tools/Domain/domain_isomorphism.ML
--- a/src/HOLCF/Tools/Domain/domain_isomorphism.ML	Fri Nov 12 12:57:02 2010 +0100
+++ b/src/HOLCF/Tools/Domain/domain_isomorphism.ML	Fri Nov 12 06:11:29 2010 -0800
@@ -406,7 +406,7 @@
     : (Domain_Take_Proofs.iso_info list
        * Domain_Take_Proofs.take_induct_info) * theory =
   let
-    val _ = Theory.requires thy "Representable" "domain isomorphisms";
+    val _ = Theory.requires thy "Domain" "domain isomorphisms";
 
     (* this theory is used just for parsing *)
     val tmp_thy = thy |>
diff -r f9057eca82f1 -r 094e5d1f5baf src/HOLCF/Tools/repdef.ML
--- a/src/HOLCF/Tools/repdef.ML	Fri Nov 12 12:57:02 2010 +0100
+++ b/src/HOLCF/Tools/repdef.ML	Fri Nov 12 06:11:29 2010 -0800
@@ -88,7 +88,7 @@
       (thy: theory)
     : (Typedef.info * Pcpodef.cpo_info * Pcpodef.pcpo_info * rep_info) * theory =
   let
-    val _ = Theory.requires thy "Representable" "repdefs";
+    val _ = Theory.requires thy "Domain" "repdefs";
 
     (*rhs*)
     val tmp_ctxt =