src/HOL/SetInterval.thy
changeset 29106 25e28a4070f3
parent 28853 69eb69659bf3
child 29667 53103fc8ffa3