--- a/Quot/Examples/FSet3.thy	Sun Dec 13 02:47:47 2009 +0100
+++ b/Quot/Examples/FSet3.thy	Mon Dec 14 10:09:49 2009 +0100
@@ -280,7 +280,7 @@
 sorry
 
 thm card_raw_cons_gt_0
-(*thm mem_card_raw_not_0*)
+thm mem_card_raw_gt_0
 thm not_nil_equiv_cons
 thm delete_raw.simps
 (*thm mem_delete_raw*)