Session Card_Partitions
View
theory dependencies
View
document
View
outline
Theories
HOL-Combinatorics.Stirling
HOL-Library.FuncSet
HOL-Library.Disjoint_Sets
Set_Partition
HOL-Library.Adhoc_Overloading
File ‹adhoc_overloading.ML›
HOL-Library.Monad_Syntax
HOL-Eisbach.Eisbach
File ‹parse_tools.ML›
File ‹method_closure.ML›
File ‹eisbach_rule_insts.ML›
File ‹match_method.ML›
Injectivity_Solver
Card_Partitions