| 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 |