| Wed, 23 Jun 2010 08:42:41 +0200 | Cezary Kaliszyk | Replace 'list_rel' by 'list_all2'; they are equivalent. | file | diff | annotate |
| Wed, 05 May 2010 15:30:01 +0200 | Cezary Kaliszyk | fminus and some more theorems ported from Finite_Set. | file | diff | annotate |
| 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 |
| Wed, 28 Apr 2010 13:29:40 +0200 | Cezary Kaliszyk | Tuned FSet | file | diff | annotate |
| Mon, 26 Apr 2010 15:14:14 +0200 | Cezary Kaliszyk | add bounded_lattice_bot and bounded_lattice_top type classes | file | diff | annotate |
| Fri, 23 Apr 2010 10:00:53 +0200 | Cezary Kaliszyk | Finite set theory | file | diff | annotate |