Mon, 19 Nov 2012 18:01:48 +0100 | hoelzl | tuned: use induction rule sigma_sets_induct_disjoint | changeset | files |
Mon, 19 Nov 2012 16:09:11 +0100 | hoelzl | tuned FinMap | changeset | files |
Mon, 19 Nov 2012 12:29:02 +0100 | hoelzl | merge extensional dependent function space from FuncSet with the one in Finite_Product_Measure | changeset | files |