src/HOL/Library/EfficientNat.thy
changeset 18708 4b3dadb4fe33
parent 18702 7dc7dcd63224
child 18757 f0d901bc0686
     1.1 --- a/src/HOL/Library/EfficientNat.thy	Thu Jan 19 15:45:10 2006 +0100
     1.2 +++ b/src/HOL/Library/EfficientNat.thy	Thu Jan 19 21:22:08 2006 +0100
     1.3 @@ -222,8 +222,8 @@
     1.4    end;
     1.5  
     1.6  val suc_preproc_setup =
     1.7 -  [Codegen.add_preprocessor eqn_suc_preproc,
     1.8 -   Codegen.add_preprocessor clause_suc_preproc];
     1.9 +  Codegen.add_preprocessor eqn_suc_preproc #>
    1.10 +  Codegen.add_preprocessor clause_suc_preproc;
    1.11  *}
    1.12  
    1.13  setup suc_preproc_setup