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/function_package/mutual.ML
changeset 24170 33f055a0f3a1
parent 23819 2040846d1bbe
child 24171 25381ce95316 
--- a/src/HOL/Tools/function_package/mutual.ML	Tue Aug 07 15:04:35 2007 +0200
+++ b/src/HOL/Tools/function_package/mutual.ML	Tue Aug 07 15:20:24 2007 +0200
@@ -121,7 +121,7 @@
     let
       val num = length fs
         val fnames = map fst fs
-        val fqgars = map split_def eqs
+        val fqgars = map (split_def ctxt) eqs
         val arities = mk_arities fqgars
 
         fun curried_types (fname, fT) =
isabelle