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 preprocs for CodegenTheorems
authorhaftmann
Tue, 09 May 2006 10:11:30 +0200
changeset 19603 9801b391c8b3
parent 19602 e25d1e9a0675
child 19604 02f5fbdd5c54
added preprocs for CodegenTheorems
src/HOL/Library/EfficientNat.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/Library/EfficientNat.thy	Tue May 09 10:10:57 2006 +0200
+++ b/src/HOL/Library/EfficientNat.thy	Tue May 09 10:11:30 2006 +0200
@@ -222,8 +222,10 @@
   end;
 
 val suc_preproc_setup =
-  Codegen.add_preprocessor eqn_suc_preproc #>
-  Codegen.add_preprocessor clause_suc_preproc;
+  Codegen.add_preprocessor eqn_suc_preproc
+  #> Codegen.add_preprocessor clause_suc_preproc
+  #> Codegen.add_preprocessor eqn_suc_preproc
+  #> Codegen.add_preprocessor clause_suc_preproc
 *}
 
 setup suc_preproc_setup
isabelle