
diff -r 82dd239e0f65 -r 8b1c0d434824 src/HOL/IntDiv.thy
--- 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




