diff -r 95e58e04e534 -r 6ba2f1fa243b src/HOL/Main.thy
--- a/src/HOL/Main.thy	Fri Oct 24 15:07:51 2014 +0200
+++ b/src/HOL/Main.thy	Thu Oct 23 19:40:39 2014 +0200
@@ -2,7 +2,7 @@
 
 theory Main
 imports Predicate_Compile Quickcheck_Narrowing Extraction Lifting_Sum Coinduction Nitpick
-  BNF_Greatest_Fixpoint Parity
+  BNF_Greatest_Fixpoint
 begin
 
 text {*