| changeset 73623 | 5020054b3a16 |
| parent 73622 | 4dc3baf45d6a |
| child 73648 | 1bd3463e30b8 |
| 73622:4dc3baf45d6a | 73623:5020054b3a16 |
|---|---|
1 |
1 |
2 section \<open>Basic combinatorics in Isabelle/HOL (and the Archive of Formal Proofs)\<close> |
2 section \<open>Basic combinatorics in Isabelle/HOL (and the Archive of Formal Proofs)\<close> |
3 |
3 |
4 theory Combinatorics |
4 theory Combinatorics |
5 imports |
5 imports |
6 Transposition |
|
6 Stirling |
7 Stirling |
7 Permutations |
8 Permutations |
8 List_Permutation |
9 List_Permutation |
9 Multiset_Permutations |
10 Multiset_Permutations |
10 Cycles |
11 Cycles |