src/HOL/Nitpick.thy
changeset 67022 49309fe530fd
parent 66011 f10bbfe07c41
child 67051 e7e54a0b9197