src/HOL/Sum_Type.thy
changeset 41229 d797baa3d57c
parent 40968 a6fcd305f7dc
child 41372 551eb49a6e91