Mon, 19 Apr 2010 16:55:36 +0200 | Christian Urban | tuned; fleshed out some library functions about permutations; closed Datatype_Aux structure (increases readability) | changeset | files |
Mon, 19 Apr 2010 16:19:17 +0200 | Cezary Kaliszyk | FSet is a semi-lattice | changeset | files |
Mon, 19 Apr 2010 15:54:55 +0200 | Cezary Kaliszyk | merge | changeset | files |
Mon, 19 Apr 2010 15:54:38 +0200 | Cezary Kaliszyk | Putting FSet in bot typeclass. | changeset | files |
Mon, 19 Apr 2010 15:33:19 +0200 | Cezary Kaliszyk | reorder | changeset | files |
Mon, 19 Apr 2010 15:37:54 +0200 | Christian Urban | merged | changeset | files |