Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Added type constraint to please sml/nj
authorkrauss
Wed, 02 Aug 2006 18:33:46 +0200
changeset 20285 23f5cd23c1e1
parent 20284 a17c737c82df
child 20286 4cf8e86a2d29
Added type constraint to please sml/nj
src/HOL/Tools/function_package/fundef_package.ML file | annotate | diff | comparison | revisions 
--- 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