2010-04-21 | Christian Urban | merged | file | diff | annotate |
2010-04-21 | Christian Urban | removed a sorry | file | diff | annotate |
2010-04-21 | Cezary Kaliszyk | Reorder FSet | file | diff | annotate |
2010-04-21 | Cezary Kaliszyk | lattice properties. | file | diff | annotate |
2010-04-20 | Cezary Kaliszyk | fsets are distributive lattices. | file | diff | annotate |
2010-04-19 | Cezary Kaliszyk | FSet is a semi-lattice | file | diff | annotate |
2010-04-19 | Cezary Kaliszyk | Putting FSet in bot typeclass. | file | diff | annotate |
2010-04-19 | Cezary Kaliszyk | reorder | file | diff | annotate |