--- a/src/HOL/Finite_Set.thy Thu Aug 09 15:52:38 2007 +0200
+++ b/src/HOL/Finite_Set.thy Thu Aug 09 15:52:42 2007 +0200
@@ -7,7 +7,7 @@
header {* Finite sets *}
theory Finite_Set
-imports IntDef Divides Option
+imports IntDef Divides
begin
subsection {* Definition and basic properties *}