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/Tools/Quickcheck/quickcheck_common.ML
changeset 63352 4eaf35781b23
parent 63239 d562c9948dee
child 63730 75f7a77e53bb 
--- a/src/HOL/Tools/Quickcheck/quickcheck_common.ML	Wed Jun 22 16:04:03 2016 +0200
+++ b/src/HOL/Tools/Quickcheck/quickcheck_common.ML	Thu Jun 23 11:01:14 2016 +0200
@@ -374,7 +374,7 @@
   else
     fold_map (fn (name, T) => Local_Theory.define
         ((Binding.concealed (Binding.name name), NoSyn),
-          (apfst Binding.concealed Attrib.empty_binding, mk_undefined T))
+          (apfst Binding.concealed Binding.empty_atts, mk_undefined T))
       #> apfst fst) (names ~~ Ts)
     #> (fn (consts, lthy) =>
       let
isabelle