--- 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 {*