combinat1 1 1 http://www.openmath.org/cdfiles/cdgroups/combinat1.cdg Combinatorics CD Group A CD of functions for combinatorics combinat1 http://www.openmath.org/cd/combinat1.ocd A CD of functions for permutations permut1 http://www.openmath.org/cd/permut1.ocd