src/HOL/SetInterval.thy
changeset 47220 52426c62b5d0
parent 47108 2a1953f0d20d
child 47222 1b7c909a6fad