--- a/FSet.thy	Thu Dec 03 11:34:34 2009 +0100
+++ b/FSet.thy	Thu Dec 03 11:58:46 2009 +0100
@@ -481,6 +481,4 @@
 apply (tactic {* lift_tac_fset @{context} @{thm list.cases(2)} 1 *})
 done
 
-thm all_prs
-
 end