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 |