src/HOL/Divides.thy

--- a/src/HOL/Divides.thy	Fri Feb 15 16:09:10 2008 +0100
+++ b/src/HOL/Divides.thy	Fri Feb 15 16:09:12 2008 +0100
@@ -7,7 +7,7 @@
 header {* The division operators div, mod and the divides relation "dvd" *}
 
 theory Divides
-imports Power
+imports Power Wellfounded_Recursion
 uses "~~/src/Provers/Arith/cancel_div_mod.ML"
 begin