src/HOL/SetInterval.thy
changeset 30549 d2d7874648bd
parent 30384 2f24531b2d3e
child 31017 2c227493ea56