UNIV is not a logical constant

--- a/src/HOLCF/Tools/Domain/domain_axioms.ML	Tue Mar 02 04:35:44 2010 -0800
+++ b/src/HOLCF/Tools/Domain/domain_axioms.ML	Tue Mar 02 04:53:18 2010 -0800
@@ -154,7 +154,7 @@
           val take_const = %%:(dname^"_take");
           val lub = %%: @{const_name lub};
           val image = %%: @{const_name image};
-          val UNIV = %%: @{const_name UNIV};
+          val UNIV = @{term "UNIV :: nat set"};
           val lhs = lub $ (image $ take_const $ UNIV);
           val ax = mk_trp (lhs === ID);
         in