diff -r 6594e73ec1a4 -r 464c1815fde9 src/ZF/IntDiv_ZF.thy
--- a/src/ZF/IntDiv_ZF.thy	Thu Aug 21 14:41:05 2014 +0200
+++ b/src/ZF/IntDiv_ZF.thy	Thu Aug 21 14:41:08 2014 +0200
@@ -29,7 +29,9 @@
 
 header{*The Division Operators Div and Mod*}
 
-theory IntDiv_ZF imports IntArith OrderArith begin
+theory IntDiv_ZF
+imports Bin OrderArith
+begin
 
 definition
   quorem :: "[i,i] => o"  where