src/HOL/Nitpick_Examples/Special_Nits.thy
changeset 46372 6fa9cdb8b850
parent 45035 60d2c03d5c70
child 53015 a1119cf551e8