src/HOL/Quickcheck_Benchmark/Find_Unused_Assms_Examples.thy
2012-07-24 bulwahn 2012-07-24 moving a first Quickcheck example with many computations into a separate session Quickcheck_Benchmark