# HG changeset patch
# User huffman
# Date 1267525725 28800
# Node ID dc59e781669fba29dd986eed99447faa7d902d87
# Parent  45c9a8278fafe9e7eb1d78f9218b52f07205d03a
remove dead code

diff -r 45c9a8278faf -r dc59e781669f src/HOLCF/Tools/Domain/domain_axioms.ML
--- a/src/HOLCF/Tools/Domain/domain_axioms.ML	Tue Mar 02 00:34:26 2010 -0800
+++ b/src/HOLCF/Tools/Domain/domain_axioms.ML	Tue Mar 02 02:28:45 2010 -0800
@@ -209,8 +209,6 @@
           if definitional then thy
           else fold ax_lub_take dnames thy
     end;
-
-    val use_copy_def = length eqs>1 andalso not definitional;
   in
     thy
     |> Sign.add_path comp_dnam
diff -r 45c9a8278faf -r dc59e781669f src/HOLCF/Tools/Domain/domain_syntax.ML
--- a/src/HOLCF/Tools/Domain/domain_syntax.ML	Tue Mar 02 00:34:26 2010 -0800
+++ b/src/HOLCF/Tools/Domain/domain_syntax.ML	Tue Mar 02 02:28:45 2010 -0800
@@ -39,8 +39,6 @@
       fun opt_lazy (lazy,_,t) = if lazy then mk_uT t else t
       fun prod     (_,args,_) = case args of [] => oneT
                                            | _ => foldr1 mk_sprodT (map opt_lazy args);
-      fun freetvar s = let val tvar = mk_TFree s in
-                         if tvar mem typevars then freetvar ("t"^s) else tvar end;
     in
     val dtype  = Type(dname,typevars);
     val dtype2 = foldr1 mk_ssumT (map prod cons');