src/HOL/Nitpick.thy
changeset 70183 3ea80c950023
parent 69605 a96320074298