src/HOL/Set_Interval.thy
Fri, 18 Oct 2013 10:43:20 +0200 blanchet killed most "no_atp", to make Sledgehammer more complete
Tue, 03 Sep 2013 01:12:40 +0200 wenzelm tuned proofs -- clarified flow of facts wrt. calculation;
Tue, 27 Aug 2013 16:06:27 +0200 hoelzl renamed inner_dense_linorder to dense_linorder
Thu, 25 Jul 2013 08:57:16 +0200 haftmann factored syntactic type classes for bot and top (by Alessandro Coglio)
Sat, 15 Jun 2013 17:19:23 +0200 haftmann lifting for primitive definitions;
Tue, 05 Mar 2013 10:16:15 +0100 nipkow more lemmas about intervals
Wed, 20 Feb 2013 12:04:42 +0100 hoelzl split dense into inner_dense_order and no_top/no_bot
Wed, 20 Feb 2013 12:04:42 +0100 hoelzl move auxiliary lemmas from Library/Extended_Reals to HOL image
Fri, 15 Feb 2013 10:52:47 +0100 Andreas Lochbihler added lemma
Thu, 31 Jan 2013 11:31:27 +0100 hoelzl introduce order topology
Fri, 07 Dec 2012 14:28:57 +0100 hoelzl add Int_atMost
Thu, 24 May 2012 17:25:53 +0200 wenzelm tuned proofs;
Tue, 03 Apr 2012 15:15:00 +0200 huffman modernized obsolete old-style theory name with proper new-style underscore
less more (0) tip