Summary
- Prepared Landau_Symbols for move to distribution
The file was modified | thys/Akra_Bazzi/Akra_Bazzi_Library.thy (diff) |
The file was modified | thys/Akra_Bazzi/Akra_Bazzi_Real.thy (diff) |
The file was modified | thys/Catalan_Numbers/Catalan_Numbers.thy (diff) |
The file was modified | thys/Comparison_Sort_Lower_Bound/Comparison_Sort_Lower_Bound.thy (diff) |
The file was modified | thys/Dirichlet_Series/Arithmetic_Summatory_Asymptotics.thy (diff) |
The file was modified | thys/Landau_Symbols/Asymptotic_Equivalence.thy (diff) |
The file was modified | thys/Landau_Symbols/Landau_Library.thy (diff) |
The file was modified | thys/Landau_Symbols/Landau_More.thy (diff) |
The file was modified | thys/Landau_Symbols/Landau_Real_Products.thy (diff) |
The file was modified | thys/Landau_Symbols/Landau_Simprocs.thy (diff) |
The file was modified | thys/Landau_Symbols/Landau_Symbols_Definition.thy (diff) |
The file was modified | thys/Quick_Sort_Cost/Randomised_Quick_Sort.thy (diff) |
The file was modified | thys/Stirling_Formula/Stirling_Formula.thy (diff) |