src/ZF/arith_data.ML
changeset 13259 01fa0c8dbc92
parent 13155 dcbf6cb95534
child 13462 56610e2ba220
     1.1 --- a/src/ZF/arith_data.ML	Fri Jun 28 20:01:09 2002 +0200
     1.2 +++ b/src/ZF/arith_data.ML	Sat Jun 29 21:33:06 2002 +0200
     1.3 @@ -218,6 +218,10 @@
     1.4  
     1.5  end;
     1.6  
     1.7 +(*Install the simprocs!*)
     1.8 +Addsimprocs ArithData.nat_cancel;
     1.9 +
    1.10 +
    1.11  (*examples:
    1.12  print_depth 22;
    1.13  set timing;