src/HOL/Set_Interval.thy
2013-03-05 nipkow 2013-03-05 more lemmas about intervals
2013-02-20 hoelzl 2013-02-20 split dense into inner_dense_order and no_top/no_bot
2013-02-20 hoelzl 2013-02-20 move auxiliary lemmas from Library/Extended_Reals to HOL image
2013-02-15 Andreas Lochbihler 2013-02-15 added lemma
2013-01-31 hoelzl 2013-01-31 introduce order topology
2012-12-07 hoelzl 2012-12-07 add Int_atMost
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