author | huffman |
Thu, 19 Nov 2009 12:05:49 -0800 | |
changeset 33792 | 002e0e017311 |
parent 33791 | fef59343b4b3 |
child 33793 | 5beafabffa07 |
--- 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 |>