src/HOL/Nat_Transfer.thy
changeset 50422 ee729dbd1b7f
parent 48891 c0eafbd55de3
child 51299 30b014246e21
     1.1 --- a/src/HOL/Nat_Transfer.thy	Fri Dec 07 14:30:00 2012 +0100
     1.2 +++ b/src/HOL/Nat_Transfer.thy	Fri Dec 07 16:25:33 2012 +0100
     1.3 @@ -420,4 +420,8 @@
     1.4    return: transfer_int_nat_sum_prod transfer_int_nat_sum_prod2
     1.5    cong: setsum_cong setprod_cong]
     1.6  
     1.7 +
     1.8 +(*belongs to Divides.thy, but slows down dependency discovery*)
     1.9 +ML_file "~~/src/Provers/Arith/cancel_div_mod.ML"
    1.10 +
    1.11  end