src/HOL/Sum_Type.thy
changeset 19168 c8faffc8e6fb
parent 19008 14c1b2f5dda4
child 20380 14f9f2a1caa6
equal deleted inserted replaced
19167:f237c0cb3882 19168:c8faffc8e6fb