src/HOL/Divides.thy
changeset 23017 00c0e4c42396
parent 22993 838c66e760b5
child 23162 b9853c187a1e
     1.1 --- a/src/HOL/Divides.thy	Sat May 19 11:33:20 2007 +0200
     1.2 +++ b/src/HOL/Divides.thy	Sat May 19 11:33:21 2007 +0200
     1.3 @@ -929,10 +929,13 @@
     1.4    by (auto simp add: dvd_nat_def dvd_eq_mod_eq_0 expand_fun_eq)
     1.5  
     1.6  code_modulename SML
     1.7 -  Divides Integer
     1.8 +  Divides Nat
     1.9  
    1.10  code_modulename OCaml
    1.11 -  Divides Integer
    1.12 +  Divides Nat
    1.13 +
    1.14 +code_modulename Haskell
    1.15 +  Divides Nat
    1.16  
    1.17  hide (open) const divmod dvd_nat
    1.18