# HG changeset patch
# User huffman
# Date 1257529837 28800
# Node ID afb577487b155d582e8c78f961f6226344689f14
# Parent  03221db9df29b9e81cf16b69a6f6939c1550c477
fix name of lemma snd_strict

diff -r 03221db9df29 -r afb577487b15 src/HOLCF/Product_Cpo.thy
--- a/src/HOLCF/Product_Cpo.thy	Thu Nov 05 15:38:09 2009 -0800
+++ b/src/HOLCF/Product_Cpo.thy	Fri Nov 06 09:50:37 2009 -0800
@@ -178,7 +178,7 @@
 lemma fst_strict [simp]: "fst \<bottom> = \<bottom>"
 unfolding inst_cprod_pcpo by (rule fst_conv)
 
-lemma csnd_strict [simp]: "snd \<bottom> = \<bottom>"
+lemma snd_strict [simp]: "snd \<bottom> = \<bottom>"
 unfolding inst_cprod_pcpo by (rule snd_conv)
 
 lemma Pair_strict [simp]: "(\<bottom>, \<bottom>) = \<bottom>"