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.
merged;
authorwenzelm
Tue, 21 Feb 2012 21:15:57 +0100
changeset 46581 1544a8703787
parent 46580 8d32138811cb (diff)
parent 46579 fa035a015ea8 (current diff)
child 46582 dcc312f22ee8
merged;
--- a/src/HOL/Tools/Quickcheck/quickcheck_common.ML	Tue Feb 21 20:22:23 2012 +0100
+++ b/src/HOL/Tools/Quickcheck/quickcheck_common.ML	Tue Feb 21 21:15:57 2012 +0100
@@ -286,7 +286,7 @@
   type T = (term * string) list
   val empty = []
   val extend = I
-  val merge = AList.merge (op =) (K true)
+  fun merge data : T = AList.merge (op =) (K true) data
 )
 
 val register_predicate = Subtype_Predicates.map o AList.update (op =)
isabelle