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/Pure/Tools/codegen_func.ML
changeset 22996 5f82c5f8478e
parent 22916 8caf6da610e2
child 23026 db38b8046294 
--- a/src/Pure/Tools/codegen_func.ML	Thu May 17 19:49:20 2007 +0200
+++ b/src/Pure/Tools/codegen_func.ML	Thu May 17 19:49:21 2007 +0200
@@ -109,7 +109,7 @@
     val _ = map (check 0) args;
   in thm end;
 
-val mk_func = assert_func o Conv.fconv_rule Drule.beta_eta_conversion o mk_rew;
+val mk_func = assert_func o (*Conv.fconv_rule Drule.beta_eta_conversion o *)mk_rew;
 
 fun head_func thm =
   let
isabelle