src/HOL/Int.thy

--- a/src/HOL/Int.thy	Thu Apr 24 16:53:04 2008 +0200
+++ b/src/HOL/Int.thy	Fri Apr 25 15:30:33 2008 +0200
@@ -9,7 +9,7 @@
 header {* The Integers as Equivalence Classes over Pairs of Natural Numbers *} 
 
 theory Int
-imports Equiv_Relations Nat Wellfounded_Relations
+imports Equiv_Relations Nat Wellfounded
 uses
   ("Tools/numeral.ML")
   ("Tools/numeral_syntax.ML")