src/HOL/Sum_Type.thy
changeset 47220 52426c62b5d0
parent 45694 4a8743618257
child 49834 b27bbb021df1