src/HOL/Divides.thy
changeset 50422 ee729dbd1b7f
parent 49962 a8cc904a6820
child 51173 3cbb4e95a565
     1.1 --- a/src/HOL/Divides.thy	Fri Dec 07 14:30:00 2012 +0100
     1.2 +++ b/src/HOL/Divides.thy	Fri Dec 07 16:25:33 2012 +0100
     1.3 @@ -9,8 +9,6 @@
     1.4  imports Nat_Transfer
     1.5  begin
     1.6  
     1.7 -ML_file "~~/src/Provers/Arith/cancel_div_mod.ML"
     1.8 -
     1.9  subsection {* Syntactic division operations *}
    1.10  
    1.11  class div = dvd +