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.
tuned comment;
authorwenzelm
Tue, 11 Mar 2014 13:58:22 +0100
changeset 56051 c3681b9e060f
parent 56050 fdccbb97915a
child 56052 4873054cd1fc
tuned comment;
src/Pure/General/table.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/General/table.ML	Tue Mar 11 10:14:45 2014 +0100
+++ b/src/Pure/General/table.ML	Tue Mar 11 13:58:22 2014 +0100
@@ -36,10 +36,10 @@
   val update: key * 'a -> 'a table -> 'a table
   val update_new: key * 'a -> 'a table -> 'a table                     (*exception DUP*)
   val default: key * 'a -> 'a table -> 'a table
-  val map_entry: key -> ('a -> 'a) -> 'a table -> 'a table
+  val map_entry: key -> ('a -> 'a) (*exception SAME*) -> 'a table -> 'a table
   val map_default: key * 'a -> ('a -> 'a) -> 'a table -> 'a table
   val make: (key * 'a) list -> 'a table                                (*exception DUP*)
-  val join: (key -> 'a * 'a -> 'a) (*exception DUP/SAME*) ->
+  val join: (key -> 'a * 'a -> 'a) (*exception SAME*) ->
     'a table * 'a table -> 'a table                                    (*exception DUP*)
   val merge: ('a * 'a -> bool) -> 'a table * 'a table -> 'a table      (*exception DUP*)
   val delete: key -> 'a table -> 'a table                              (*exception UNDEF*)
isabelle