src/HOL/Nitpick.thy
changeset 66695 91500c024c7f
parent 66011 f10bbfe07c41
child 67051 e7e54a0b9197