--- a/src/HOL/Parity.thy Wed Jan 28 11:02:12 2009 +0100
+++ b/src/HOL/Parity.thy Wed Jan 28 11:03:16 2009 +0100
@@ -5,7 +5,7 @@
header {* Even and Odd for int and nat *}
theory Parity
-imports Plain Presburger
+imports Plain Presburger Main
begin
class even_odd =