theory Combinatorial_Enumeration_Algorithms imports n_Sequences n_Permutations n_Subsets Powerset Integer_Partitions Integer_Compositions Weak_Integer_Compositions Derangements_Enum Trees begin (*library files: Common_Lemmas.thy, Filter_Bool_List.thy*) end