Tue, 19 Jul 2011 14:38:29 +0200 | hoelzl | add ereal to typeclass infinity | file | diff | annotate |
Tue, 19 Jul 2011 14:36:12 +0200 | hoelzl | Rename extreal => ereal | file | diff | annotate |
Mon, 23 May 2011 19:21:05 +0200 | hoelzl | move lemmas to Extended_Reals and Extended_Real_Limits | file | diff | annotate |
Mon, 14 Mar 2011 16:59:37 +0100 | wenzelm | standardized headers; | file | diff | annotate |
Mon, 14 Mar 2011 14:37:49 +0100 | hoelzl | reworked Probability theory: measures are not type restricted to positive extended reals | file | diff | annotate |
Mon, 14 Mar 2011 14:37:47 +0100 | hoelzl | split Extended_Reals into parts for Library and Multivariate_Analysis | file | diff | annotate |