src/HOLCF/Cprod3.ML

--- a/src/HOLCF/Cprod3.ML	Fri Oct 06 16:17:08 1995 +0100
+++ b/src/HOLCF/Cprod3.ML	Fri Oct 06 17:25:24 1995 +0100
@@ -314,3 +314,4 @@
 
 Addsimps [cfst2,csnd2,csplit2];
 
+val Cprod_rews = [cfst2,csnd2,csplit2];