src/HOL/Nitpick_Examples/Record_Nits.thy
changeset 51085 d90218288d51
parent 48812 9509fc5485b2
child 54633 86e0b402994c