src/HOL/SetInterval.thy
changeset 28263 69eaa97e7e96
parent 28068 f6b2d1995171
child 28853 69eb69659bf3