src/HOL/Quickcheck_Examples/Completeness.thy
changeset 58306 117ba6cbe414
parent 57645 ee55e667dedc
child 58813 625d04d4fd2a