
diff -r e9b361845809 -r 36fa825e0ea7 src/HOL/Quickcheck_Benchmark/Find_Unused_Assms_Examples.thy
--- a/src/HOL/Quickcheck_Benchmark/Find_Unused_Assms_Examples.thy	Tue Mar 26 12:20:54 2013 +0100
+++ b/src/HOL/Quickcheck_Benchmark/Find_Unused_Assms_Examples.thy	Tue Mar 26 12:20:55 2013 +0100
@@ -9,7 +9,6 @@
 find_unused_assms Divides
 find_unused_assms GCD
 find_unused_assms RealDef
-find_unused_assms RComplete
 
 section {* Set Theory *}
 




