Changes

Summary

Prepared Landau_Symbols for move to distribution

Changeset 9320:7c87e57da433 by manuel eberl _eberlm@in.tum.de_: Prepared Landau_Symbols for move to distribution
The file was modified	`thys/Akra_Bazzi/Akra_Bazzi.thy` (diff)
The file was modified	`thys/Akra_Bazzi/Akra_Bazzi_Asymptotics.thy` (diff)
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/Akra_Bazzi/Master_Theorem.thy` (diff)
The file was modified	`thys/Akra_Bazzi/ROOT` (diff)
The file was modified	`thys/Catalan_Numbers/Catalan_Numbers.thy` (diff)
The file was modified	`thys/Catalan_Numbers/ROOT` (diff)
The file was modified	`thys/Comparison_Sort_Lower_Bound/Comparison_Sort_Lower_Bound.thy` (diff)
The file was modified	`thys/Comparison_Sort_Lower_Bound/ROOT` (diff)
The file was modified	`thys/Dirichlet_L/Dirichlet_L_Functions.thy` (diff)
The file was modified	`thys/Dirichlet_L/Dirichlet_Theorem.thy` (diff)
The file was modified	`thys/Dirichlet_L/ROOT` (diff)
The file was modified	`thys/Dirichlet_Series/Arithmetic_Summatory_Asymptotics.thy` (diff)
The file was modified	`thys/Error_Function/Error_Function.thy` (diff)
The file was modified	`thys/Error_Function/Error_Function_Asymptotics.thy` (diff)
The file was modified	`thys/Error_Function/ROOT` (diff)
The file was modified	`thys/Euler_MacLaurin/Euler_MacLaurin_Landau.thy` (diff)
The file was modified	`thys/Euler_MacLaurin/ROOT` (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/ROOT` (diff)
The file was modified	`thys/Quick_Sort_Cost/Randomised_Quick_Sort.thy` (diff)
The file was modified	`thys/Random_BSTs/ROOT` (diff)
The file was modified	`thys/Stirling_Formula/ROOT` (diff)
The file was modified	`thys/Stirling_Formula/Stirling_Formula.thy` (diff)
The file was modified	`thys/Zeta_Function/ROOT` (diff)
The file was modified	`thys/Zeta_Function/Zeta_Function.thy` (diff)
The file was removed	`thys/Landau_Symbols/Asymptotic_Equivalence.thy`
The file was removed	`thys/Landau_Symbols/Landau_Symbols.thy`
The file was removed	`thys/Landau_Symbols/Landau_Symbols_Definition.thy`