src/HOL/SetInterval.thy
changeset 37724 6607ccf77946
parent 37664 2946b8f057df
child 39072 1030b1a166ef