changeset 51523 | 97b5e8a1291c |
parent 51521 | 36fa825e0ea7 |
--- a/src/HOL/Quickcheck_Benchmark/Find_Unused_Assms_Examples.thy Tue Mar 26 12:20:56 2013 +0100 +++ b/src/HOL/Quickcheck_Benchmark/Find_Unused_Assms_Examples.thy Tue Mar 26 12:20:56 2013 +0100 @@ -8,7 +8,7 @@ find_unused_assms Divides find_unused_assms GCD -find_unused_assms RealDef +find_unused_assms Real section {* Set Theory *}