| Sun, 05 Feb 2012 10:43:52 +0100 | bulwahn | adding code equation for Relation.image; adding map_project as correspondence to map_filter on lists | changeset | files |
| Sun, 05 Feb 2012 10:42:57 +0100 | bulwahn | tuning to remove ML warnings | changeset | files |
| Sun, 05 Feb 2012 10:50:34 +0100 | blanchet | removed double filtering of type args | changeset | files |
| Sun, 05 Feb 2012 08:57:03 +0100 | bulwahn | adding a quickcheck example about functions and sets | changeset | files |
| Sun, 05 Feb 2012 08:47:13 +0100 | bulwahn | removing lemma bij_betw_Disj_Un, as it is a special case of bij_between_combine (was added in d1fc454d6735, and has not been used since) | changeset | files |
| Sun, 05 Feb 2012 08:36:41 +0100 | bulwahn | adding a remark about lemma which is too special and should be removed | changeset | files |