Session HOL-Combinatorics
View
theory dependencies
View
document
View
outline
Theories
Transposition
Stirling
HOL-Library.Cancellation
File ‹Cancellation/cancel.ML›
File ‹Cancellation/cancel_data.ML›
File ‹Cancellation/cancel_simprocs.ML›
HOL-Library.Multiset
File ‹multiset_simprocs.ML›
HOL-Library.FuncSet
HOL-Library.Disjoint_Sets
Permutations
List_Permutation
Multiset_Permutations
Cycles
Perm
Orbits
Combinatorics