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/Nitpick/nitpick_isar.ML
changeset 33599 89c439646960
parent 33584 488837bf01d7
child 33601 4608243edcfc 
--- a/src/HOL/Tools/Nitpick/nitpick_isar.ML	Tue Nov 10 18:32:41 2009 +0100
+++ b/src/HOL/Tools/Nitpick/nitpick_isar.ML	Tue Nov 10 21:02:18 2009 +0100
@@ -135,9 +135,8 @@
 structure Data = Theory_Data(
   type T = {params: raw_param list}
   val empty = {params = rev default_default_params}
-  val copy = I
   val extend = I
-  fun merge ({params = ps1}, {params = ps2}) =
+  fun merge ({params = ps1}, {params = ps2}) : T =
     {params = AList.merge (op =) (op =) (ps1, ps2)})
 
 (* raw_param -> theory -> theory *)
isabelle