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/Map.thy
changeset 17782 b3846df9d643
parent 17724 e969fc0a4925
child 18447 da548623916a 
--- a/src/HOL/Map.thy	Fri Oct 07 22:59:18 2005 +0200
+++ b/src/HOL/Map.thy	Fri Oct 07 22:59:19 2005 +0200
@@ -66,7 +66,7 @@
   --"requires amssymb!"
 
 translations
-  "empty"    => "_K None"
+  "empty"    => "%_. None"
   "empty"    <= "%x. None"
 
   "m(x\<mapsto>\<lambda>y. f)" == "chg_map (\<lambda>y. f) x m"
isabelle