src/HOL/SetInterval.ML
changeset 11008 f7333f055ef6
parent 9310 ab706fdb0842
child 13596 ee5f79b210c1