--- a/src/HOL/ex/Numeral.thy Thu Oct 29 22:29:51 2009 +0100
+++ b/src/HOL/ex/Numeral.thy Thu Oct 29 23:17:35 2009 +0100
@@ -5,7 +5,7 @@
header {* An experimental alternative numeral representation. *}
theory Numeral
-imports Plain Divides
+imports Main
begin
subsection {* The @{text num} type *}