# HG changeset patch
# User wenzelm
# Date 1267632521 -3600
# Node ID 6d3fa3a378221c9807c6e68da6122c2a66e8ffcc
# Parent  991a6af759783b3376e9a70ed3b8740fd195d46c
proper names for types cfun, sprod, ssum (cf. fa231b86cb1e);

diff -r 991a6af75978 -r 6d3fa3a37822 src/HOLCF/holcf_logic.ML
--- a/src/HOLCF/holcf_logic.ML	Wed Mar 03 16:43:55 2010 +0100
+++ b/src/HOLCF/holcf_logic.ML	Wed Mar 03 17:08:41 2010 +0100
@@ -33,10 +33,10 @@
 
 fun mk_btyp t (S, T) = Type (t, [S, T]);
 
-val cfun_arrow = @{type_name "->"};
+val cfun_arrow = @{type_name "cfun"};
 val op ->> = mk_btyp cfun_arrow;
-val mk_ssumT = mk_btyp (@{type_name "++"});
-val mk_sprodT = mk_btyp (@{type_name "**"});
+val mk_ssumT = mk_btyp (@{type_name "ssum"});
+val mk_sprodT = mk_btyp (@{type_name "sprod"});
 fun mk_uT T = Type (@{type_name u}, [T]);
 val trT = @{typ tr};
 val oneT = @{typ one};