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 |