| Wed, 21 Apr 2010 10:09:07 +0200 | Christian Urban | merged | file | diff | annotate |
| Wed, 21 Apr 2010 10:08:47 +0200 | Christian Urban | removed a sorry | file | diff | annotate |
| Wed, 21 Apr 2010 09:48:35 +0200 | Cezary Kaliszyk | Reorder FSet | file | diff | annotate |
| Wed, 21 Apr 2010 09:13:32 +0200 | Cezary Kaliszyk | lattice properties. | file | diff | annotate |
| Tue, 20 Apr 2010 15:59:57 +0200 | Cezary Kaliszyk | fsets are distributive lattices. | file | diff | annotate |
| Mon, 19 Apr 2010 16:19:17 +0200 | Cezary Kaliszyk | FSet is a semi-lattice | file | diff | annotate |
| Mon, 19 Apr 2010 15:54:38 +0200 | Cezary Kaliszyk | Putting FSet in bot typeclass. | file | diff | annotate |