src/HOL/Nitpick_Examples/Induct_Nits.thy
changeset 66831 29ea2b900a05
parent 63167 0909deb8059b