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/HOL/HOLCF/Universal.thy
changeset 61605 1bf7b186542e
parent 61169 4de9ff3ea29a
child 62175 8ffc4d0e652d 
--- a/src/HOL/HOLCF/Universal.thy	Mon Nov 09 13:49:56 2015 +0100
+++ b/src/HOL/HOLCF/Universal.thy	Mon Nov 09 15:48:17 2015 +0100
@@ -836,7 +836,7 @@
 
 end
 
-interpretation compact_basis!:
+interpretation compact_basis:
   ideal_completion below Rep_compact_basis
     "approximants :: 'a::bifinite \<Rightarrow> 'a compact_basis set"
 proof -
isabelle