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.
Changed interface of add_attribute.
authorberghofe
Mon, 22 Sep 2003 16:06:05 +0200
changeset 14195 e7c9206dd2ef
parent 14194 8953b566dfed
child 14196 be5e838f37bd
Changed interface of add_attribute.
src/HOL/Tools/inductive_codegen.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Tools/inductive_codegen.ML	Mon Sep 22 16:04:49 2003 +0200
+++ b/src/HOL/Tools/inductive_codegen.ML	Mon Sep 22 16:06:05 2003 +0200
@@ -542,7 +542,7 @@
 val setup =
   [add_codegen "inductive" inductive_codegen,
    CodegenData.init,
-   add_attribute "ind" add];
+   add_attribute "ind" (Scan.succeed add)];
 
 end;
isabelle