--- a/src/HOL/IntDiv.thy Tue Jan 15 16:19:21 2008 +0100
+++ b/src/HOL/IntDiv.thy Tue Jan 15 16:19:23 2008 +0100
@@ -8,7 +8,7 @@
header{*The Division Operators div and mod; the Divides Relation dvd*}
theory IntDiv
-imports IntArith Divides FunDef
+imports Int Divides FunDef
begin
constdefs