src/HOL/Nitpick_Examples/Record_Nits.thy
changeset 62379 340738057c8c
parent 58889 5b7a9633cfa8
child 63167 0909deb8059b