Thu, 01 Jul 2010 11:48:42 +0200 | hoelzl | Add theory for indicator function. | changeset | files |
Thu, 01 Jul 2010 09:01:09 +0200 | hoelzl | Instantiate product type as euclidean space. | changeset | files |
Thu, 01 Jul 2010 08:13:20 +0200 | haftmann | merged | changeset | files |