src/HOLCF/Tools/Domain/domain_axioms.ML
changeset 35525 fa231b86cb1e
parent 35517 0e2ef13796a4
child 35529 089e438b925b
--- a/src/HOLCF/Tools/Domain/domain_axioms.ML	Tue Mar 02 17:20:03 2010 -0800
+++ b/src/HOLCF/Tools/Domain/domain_axioms.ML	Tue Mar 02 17:21:10 2010 -0800
@@ -31,9 +31,9 @@
 
 (* FIXME: use theory data for this *)
 val copy_tab : string Symtab.table =
-    Symtab.make [(@{type_name "->"}, @{const_name "cfun_map"}),
-                 (@{type_name "++"}, @{const_name "ssum_map"}),
-                 (@{type_name "**"}, @{const_name "sprod_map"}),
+    Symtab.make [(@{type_name cfun}, @{const_name "cfun_map"}),
+                 (@{type_name ssum}, @{const_name "ssum_map"}),
+                 (@{type_name sprod}, @{const_name "sprod_map"}),
                  (@{type_name "*"}, @{const_name "cprod_map"}),
                  (@{type_name "u"}, @{const_name "u_map"})];