src/HOL/Library/Old_Datatype.thy
changeset 68189 6163c90694ef
parent 67613 ce654b0e6d69
child 69605 a96320074298