src/HOL/Set_Interval.thy
changeset 70299 83774d669b51
parent 70113 c8deb8ba6d05
child 70340 7383930fc946