# HG changeset patch
# User huffman
# Date 1110238126 -3600
# Node ID 40088b01f25779d67f98d423e2ea2529fed597d6
# Parent  50c3384ca6c4e3ac7e86370a70270e264c136e93
removed Cprod3_lemma1 and Cprod3_lemma2

diff -r 50c3384ca6c4 -r 40088b01f257 src/HOLCF/Cprod.ML
--- a/src/HOLCF/Cprod.ML	Tue Mar 08 00:18:22 2005 +0100
+++ b/src/HOLCF/Cprod.ML	Tue Mar 08 00:28:46 2005 +0100
@@ -24,9 +24,7 @@
 val csplit_def = thm "csplit_def";
 val CLet_def = thm "CLet_def";
 val inst_cprod_pcpo = thm "inst_cprod_pcpo";
-val Cprod3_lemma1 = thm "Cprod3_lemma1";
 val contlub_pair1 = thm "contlub_pair1";
-val Cprod3_lemma2 = thm "Cprod3_lemma2";
 val contlub_pair2 = thm "contlub_pair2";
 val cont_pair1 = thm "cont_pair1";
 val cont_pair2 = thm "cont_pair2";