| Thu, 04 Mar 2010 19:50:45 +0100 | hoelzl | Supremum and Infimum on real intervals | file | diff | annotate |
| Thu, 18 Feb 2010 14:21:44 -0800 | huffman | get rid of many duplicate simp rule warnings | file | diff | annotate |
| Mon, 08 Feb 2010 14:06:54 +0100 | haftmann | moved auxiliary lemmas to more appropriate places | file | diff | annotate |
| Fri, 05 Feb 2010 14:33:50 +0100 | haftmann | more consistent naming of type classes involving orderings (and lattices) -- c.f. NEWS | file | diff | annotate |
| Fri, 13 Nov 2009 14:14:04 +0100 | nipkow | renamed lemmas "anti_sym" -> "antisym" | file | diff | annotate |
| Wed, 11 Nov 2009 14:04:56 +0000 | paulson | Added two new lemmas | file | diff | annotate |
| Wed, 28 Oct 2009 11:42:31 +0000 | paulson | New theory Probability, which contains a development of measure theory | file | diff | annotate |
| Tue, 27 Oct 2009 12:59:57 +0000 | paulson | New theory SupInf of the supremum and infimum operators for sets of reals. | file | diff | annotate |