src/HOL/Combinatorics/Combinatorics.thy
changeset 73648 1bd3463e30b8
parent 73623 5020054b3a16
equal deleted inserted replaced
73647:a037f01aedab 73648:1bd3463e30b8
     8   Permutations
     8   Permutations
     9   List_Permutation
     9   List_Permutation
    10   Multiset_Permutations
    10   Multiset_Permutations
    11   Cycles
    11   Cycles
    12   Perm
    12   Perm
       
    13   Orbits
    13 begin
    14 begin
    14 
    15 
    15 end
    16 end