Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
fix name of lemma snd_strict
authorhuffman
Fri, 06 Nov 2009 09:50:37 -0800
changeset 33506 afb577487b15
parent 33505 03221db9df29
child 33507 6390cc8d2714
fix name of lemma snd_strict
src/HOLCF/Product_Cpo.thy file | annotate | diff | comparison | revisions 
--- 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>"
isabelle