src/HOL/Datatype.thy
changeset 21512 3786eb1b69d6
parent 21454 a1937c51ed88
child 21669 c68717c16013