src/HOL/Set_Interval.thy
2012-05-24 wenzelm 2012-05-24 tuned proofs;
2012-04-03 huffman 2012-04-03 modernized obsolete old-style theory name with proper new-style underscore