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.
fixed typo
authorhuffman
Tue, 26 Jul 2005 18:31:18 +0200
changeset 16923 2d9ebdc0c1ee
parent 16922 2128ac2aa5db
child 16924 04246269386e
fixed typo
src/HOLCF/Sprod.ML file | annotate | diff | comparison | revisions 
--- a/src/HOLCF/Sprod.ML	Tue Jul 26 18:29:59 2005 +0200
+++ b/src/HOLCF/Sprod.ML	Tue Jul 26 18:31:18 2005 +0200
@@ -6,7 +6,7 @@
 val inst_sprod_pcpo2 = thm "inst_sprod_pcpo2"; (* *)
 val less_sprod_def = thm "less_Sprod_def";
 val less_sprod = thm "less_sprod";
-val Rep_Sprod_spair = thm "Rep_Sprod_Spair";
+val Rep_Sprod_spair = thm "Rep_Sprod_spair";
 val sfst_defined_iff = thm "sfst_defined_iff";
 val sfst_defined = thm "sfst_defined";
 val sfst_def = thm "sfst_def";
isabelle