# HG changeset patch
# User huffman
# Date 1289570726 28800
# Node ID 638943ad5bdce12640db4c42266fda8a79d813ba
# Parent  4c5363173f8888a3a20bbd513a017827355872d8
update Theory.requires with new theory name

diff -r 4c5363173f88 -r 638943ad5bdc src/HOLCF/Tools/Domain/domain_isomorphism.ML
--- a/src/HOLCF/Tools/Domain/domain_isomorphism.ML	Wed Nov 10 18:45:48 2010 -0800
+++ b/src/HOLCF/Tools/Domain/domain_isomorphism.ML	Fri Nov 12 06:05:26 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 4c5363173f88 -r 638943ad5bdc src/HOLCF/Tools/repdef.ML
--- a/src/HOLCF/Tools/repdef.ML	Wed Nov 10 18:45:48 2010 -0800
+++ b/src/HOLCF/Tools/repdef.ML	Fri Nov 12 06:05:26 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 =