| changeset 23017 | 00c0e4c42396 |
| parent 22993 | 838c66e760b5 |
| child 23162 | b9853c187a1e |
--- a/src/HOL/Divides.thy Sat May 19 11:33:20 2007 +0200 +++ b/src/HOL/Divides.thy Sat May 19 11:33:21 2007 +0200 @@ -929,10 +929,13 @@ by (auto simp add: dvd_nat_def dvd_eq_mod_eq_0 expand_fun_eq) code_modulename SML - Divides Integer + Divides Nat code_modulename OCaml - Divides Integer + Divides Nat + +code_modulename Haskell + Divides Nat hide (open) const divmod dvd_nat