2010-04-19 | Christian Urban | tuned; fleshed out some library functions about permutations; closed Datatype_Aux structure (increases readability) | changeset | files |
2010-04-19 | Cezary Kaliszyk | FSet is a semi-lattice | changeset | files |
2010-04-19 | Cezary Kaliszyk | merge | changeset | files |
2010-04-19 | Cezary Kaliszyk | Putting FSet in bot typeclass. | changeset | files |
Loading... |