src/HOL/Nitpick_Examples/Record_Nits.thy
changeset 37380 35815ce9218a
parent 35284 9edc2bd6d2bd
child 38185 b51677438b3a