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/Representable.thy
changeset 37770 cddb3106adb8
parent 37678 0040bafffdef
child 39974 b525988432e9 
--- a/src/HOLCF/Representable.thy	Mon Jul 12 11:21:56 2010 +0200
+++ b/src/HOLCF/Representable.thy	Mon Jul 12 11:39:27 2010 +0200
@@ -21,7 +21,7 @@
   fixes prj :: "udom \<rightarrow> 'a::pcpo"
   assumes ep_pair_emb_prj: "ep_pair emb prj"
 
-interpretation rep!:
+interpretation rep:
   pcpo_ep_pair
     "emb :: 'a::rep \<rightarrow> udom"
     "prj :: udom \<rightarrow> 'a::rep"
isabelle