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/fundef_package.ML
changeset 20285 23f5cd23c1e1
parent 20270 3abe7dae681e
child 20320 a5368278a72c 
--- a/src/HOL/Tools/function_package/fundef_package.ML	Wed Aug 02 18:30:57 2006 +0200
+++ b/src/HOL/Tools/function_package/fundef_package.ML	Wed Aug 02 18:33:46 2006 +0200
@@ -76,7 +76,7 @@
       add_fundef_data name (fundef_data, mutual_info, spec) thy
     end
 
-fun gen_add_fundef prep_att eqns_attss preprocess thy =
+fun gen_add_fundef prep_att eqns_attss (preprocess : bool) thy =
     let
       fun prep_eqns neqs =
           neqs
isabelle