Session List_Inversions
View
theory dependencies
View
document
View
outline
Theories
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
HOL-Combinatorics.Transposition
HOL-Combinatorics.Permutations
List_Inversions