src/HOL/Integ/int_arith1.ML
changeset 14273 e33ffff0123c
parent 14272 5efbb548107d
child 14329 ff3210fe968f
     1.1 --- a/src/HOL/Integ/int_arith1.ML	Thu Dec 04 10:29:17 2003 +0100
     1.2 +++ b/src/HOL/Integ/int_arith1.ML	Thu Dec 04 16:16:36 2003 +0100
     1.3 @@ -420,9 +420,6 @@
     1.4  Addsimprocs Int_Numeral_Simprocs.cancel_numerals;
     1.5  Addsimprocs [Int_Numeral_Simprocs.combine_numerals];
     1.6  
     1.7 -(*The Abel_Cancel simprocs are now obsolete*)
     1.8 -Delsimprocs [Int_Cancel.sum_conv, Int_Cancel.rel_conv];
     1.9 -
    1.10  (*examples:
    1.11  print_depth 22;
    1.12  set timing;