src/HOL/Quickcheck_Narrowing.thy
changeset 63915 bab633745c7f
parent 61799 4cf66f21b764
child 65480 5407bc278c9a