diff -r 33cd648df179 -r ac2ed047988d Quot/Examples/FSet3.thy
--- a/Quot/Examples/FSet3.thy	Sat Dec 12 13:54:01 2009 +0100
+++ b/Quot/Examples/FSet3.thy	Sat Dec 12 15:07:59 2009 +0100
@@ -280,7 +280,7 @@
 sorry
 
 thm card_raw_cons_gt_0
-thm mem_card_raw_not_0
+(*thm mem_card_raw_not_0*)
 thm not_nil_equiv_cons
 thm delete_raw.simps
 (*thm mem_delete_raw*)