Changes

Summary

dedicated session for combinatorial material

Changeset 73477:1d8a79aa2a99 by haftmann: dedicated session for combinatorial material
The file was added	`src/HOL/Combinatorics/Combinatorics.thy`
The file was added	`src/HOL/Combinatorics/Cycles.thy`
The file was added	`src/HOL/Combinatorics/Guide.thy`
The file was added	`src/HOL/Combinatorics/List_Permutation.thy`
The file was added	`src/HOL/Combinatorics/Multiset_Permutations.thy`
The file was added	`src/HOL/Combinatorics/Permutations.thy`
The file was added	`src/HOL/Combinatorics/Stirling.thy`
The file was added	`src/HOL/Combinatorics/document/root.tex`
The file was modified	`CONTRIBUTORS` (diff)
The file was modified	`NEWS` (diff)
The file was modified	`src/HOL/Algebra/Divisibility.thy` (diff)
The file was modified	`src/HOL/Algebra/Sym_Groups.thy` (diff)
The file was modified	`src/HOL/Analysis/Determinants.thy` (diff)
The file was modified	`src/HOL/Analysis/Vitali_Covering_Theorem.thy` (diff)
The file was modified	`src/HOL/Codegenerator_Test/Generate_Efficient_Datastructures.thy` (diff)
The file was modified	`src/HOL/Library/Disjoint_FSets.thy` (diff)
The file was modified	`src/HOL/Library/Disjoint_Sets.thy` (diff)
The file was modified	`src/HOL/Library/Library.thy` (diff)
The file was modified	`src/HOL/Probability/Random_Permutations.thy` (diff)
The file was modified	`src/HOL/ROOT` (diff)
The file was removed	`src/HOL/Algebra/Cycles.thy`
The file was removed	`src/HOL/Library/List_Permutation.thy`
The file was removed	`src/HOL/Library/Multiset_Permutations.thy`
The file was removed	`src/HOL/Library/Permutations.thy`
The file was removed	`src/HOL/Library/Stirling.thy`