
diff -r 5ef8be0175f6 -r 76e34dd930f6 Quot/Examples/FSet3.thy
--- a/Quot/Examples/FSet3.thy	Mon Dec 14 13:56:24 2009 +0100
+++ b/Quot/Examples/FSet3.thy	Mon Dec 14 13:57:39 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*)




