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.
removed Cprod3_lemma1 and Cprod3_lemma2
authorhuffman
Tue, 08 Mar 2005 00:28:46 +0100
changeset 15592 40088b01f257
parent 15591 50c3384ca6c4
child 15593 24d770bbc44a
removed Cprod3_lemma1 and Cprod3_lemma2
src/HOLCF/Cprod.ML file | annotate | diff | comparison | revisions 
--- 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";
isabelle