src/HOL/Sum_Type.thy
changeset 52435 6646bb548c6b
parent 49948 744934b818c7
child 53010 ec5e6f69bd65