Session Quick_Sort_Cost

View theory dependencies
View document
View outline

Theories

HOL-Library.Landau_Symbols
HOL-Library.Function_Algebras
Landau_Symbols.Group_Sort
Landau_Symbols.Landau_Real_Products
Landau_Symbols.Landau_Simprocs
- File ‹landau_simprocs.ML›
Landau_Symbols.Landau_More
List-Index.List_Index
Comparison_Sort_Lower_Bound.Linorder_Relations
Randomised_Quick_Sort
Quick_Sort_Average_Case