| Wed, 20 Feb 2013 12:04:42 +0100 | hoelzl | move auxiliary lemmas from Library/Extended_Reals to HOL image | file | diff | annotate |
| Fri, 15 Feb 2013 10:52:47 +0100 | Andreas Lochbihler | added lemma | file | diff | annotate |
| Thu, 31 Jan 2013 11:31:27 +0100 | hoelzl | introduce order topology | file | diff | annotate |
| Fri, 07 Dec 2012 14:28:57 +0100 | hoelzl | add Int_atMost | file | diff | annotate |
| Thu, 24 May 2012 17:25:53 +0200 | wenzelm | tuned proofs; | file | diff | annotate |
| Tue, 03 Apr 2012 15:15:00 +0200 | huffman | modernized obsolete old-style theory name with proper new-style underscore | file | diff | annotate | base |