src/HOL/Quickcheck_Benchmark/Find_Unused_Assms_Examples.thy
changeset 62337 d3996d5873dd
parent 51523 97b5e8a1291c