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 |