Tue, 07 Sep 2010 10:05:19 +0200 | nipkow | expand_fun_eq -> ext_iff | file | diff | annotate |
Mon, 23 Aug 2010 19:35:57 +0200 | hoelzl | Rewrite the Probability theory. | file | diff | annotate |
Fri, 20 Aug 2010 17:46:56 +0200 | haftmann | more concise characterization of of_nat operation and class semiring_char_0 | file | diff | annotate |
Thu, 01 Jul 2010 16:54:44 +0200 | haftmann | "prod" and "sum" replace "*" and "+" respectively | file | diff | annotate |
Thu, 01 Jul 2010 11:48:42 +0200 | hoelzl | Add theory for indicator function. | file | diff | annotate |
Thu, 01 Jul 2010 09:01:09 +0200 | hoelzl | Instantiate product type as euclidean space. | file | diff | annotate |
Wed, 23 Jun 2010 10:05:13 +0200 | hoelzl | Make latex happy | file | diff | annotate |
Mon, 21 Jun 2010 19:33:51 +0200 | hoelzl | Introduce a type class for euclidean spaces, port most lemmas from real^'n to this type class. | file | diff | annotate |