src/HOL/Nitpick_Examples/Mono_Nits.thy
changeset 35115 446c5063e4fd
parent 35076 cc19e2aef17e
child 35191 69fa4c39dab2