src/HOL/SetInterval.thy
changeset 45231 d85a2fdc586c
parent 44890 22f665a2e91c
child 45932 6f08f8fe9752