src/HOL/Nitpick_Examples/Typedef_Nits.thy
changeset 35115 446c5063e4fd
parent 35078 6fd1052fe463
child 35284 9edc2bd6d2bd