src/HOL/Quickcheck_Narrowing.thy
changeset 66787 64b47495676d
parent 66148 5e60c2d0a1f1
child 66758 9312ce5a938d