src/HOL/SetInterval.thy
changeset 19404 9bf2cdc9e8e8
parent 19376 529b735edbf2
child 19469 958d2f2dd8d4