--- a/src/HOL/Parity.thy Fri Mar 27 10:05:08 2009 +0100
+++ b/src/HOL/Parity.thy Fri Mar 27 10:05:11 2009 +0100
@@ -5,7 +5,7 @@
header {* Even and Odd for int and nat *}
theory Parity
-imports Plain Presburger Main
+imports Main
begin
class even_odd =