# HG changeset patch
# User Cezary Kaliszyk <kaliszyk@in.tum.de>
# Date 1260781789 -3600
# Node ID 4b3822d1ed24459336f09cc8c7fbe8e19bdb291d
# Parent  198ff5781844c0359ac55e3204400c8a180eca04
Replies to questions from the weekend: Uncommenting the renamed theorem commented out in 734.

diff -r 198ff5781844 -r 4b3822d1ed24 Quot/Examples/FSet3.thy
--- 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*)