src/HOL/Nitpick.thy
changeset 35596 49a02dab35ed
parent 35311 8f9a66fc9f80
child 35665 ff2bf50505ab