src/HOL/Sum_Type.thy
changeset 55990 41c6b99c5fb7
parent 55931 62156e694f3d
child 58189 9d714be4f028