| 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 |
| Sun, 05 Feb 2012 08:24:39 +0100 | bulwahn | another try to improve code generation of set equality (cf. da32cf32c0c7) | changeset | files |
| Sun, 05 Feb 2012 08:24:38 +0100 | bulwahn | beautifying definitions of check_all and adding instance for finite_4 | changeset | files |