src/HOL/Sum_Type.thy
changeset 64406 492de9062cd2
parent 63575 b9bd9e61fd63
child 67443 3abf6a722518
equal deleted inserted replaced
64405:81bac77929d9 64406:492de9062cd2