author | haftmann |
Sun, 09 May 2021 05:48:50 +0000 | |
changeset 73648 | 1bd3463e30b8 |
parent 73623 | 5020054b3a16 |
permissions | -rw-r--r-- |
73477 | 1 |
|
2 |
section \<open>Basic combinatorics in Isabelle/HOL (and the Archive of Formal Proofs)\<close> |
|
3 |
||
4 |
theory Combinatorics |
|
5 |
imports |
|
73623 | 6 |
Transposition |
73477 | 7 |
Stirling |
8 |
Permutations |
|
9 |
List_Permutation |
|
10 |
Multiset_Permutations |
|
11 |
Cycles |
|
73622 | 12 |
Perm |
73648 | 13 |
Orbits |
73477 | 14 |
begin |
15 |
||
16 |
end |