src/HOL/Set_Interval.thy
changeset 78659 b5f3d1051b13
parent 78256 71e1aa0d9421
child 78663 3032bc7d613d