Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOLCF/ccc1.thy
changeset 3324 6b26b886ff69
parent 2841 c2508f4ab739 
--- a/src/HOLCF/ccc1.thy	Sun May 25 11:07:52 1997 +0200
+++ b/src/HOLCF/ccc1.thy	Sun May 25 16:17:09 1997 +0200
@@ -9,7 +9,7 @@
 
 ccc1 = Cprod3 + Sprod3 + Ssum3 + Up3 + Fix + 
 
-instance flat<chfin (flat_subclass_chfin)
+instance flat<chfin (flat_imp_chain_finite)
 
 consts
         ID      :: "('a::cpo) -> 'a"
isabelle