| Tue, 04 May 2010 16:25:16 +0200 | Cezary Kaliszyk | Translating lemmas from Finite_Set to FSet. | file | diff | annotate |
| Tue, 04 May 2010 11:00:16 +0200 | bulwahn | added function ffilter and some lemmas from Finite_Set to the FSet theory | file | diff | annotate |
| Thu, 29 Apr 2010 09:06:35 +0200 | Cezary Kaliszyk | Tuning the quotient examples | file | diff | annotate |