Changes

Summary

Changeset 7611:0da603b05b6f by eberlm _eberlm@in.tum.de_: Generalised Landau_Symbols
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_Method.thy` (diff)
The file was modified	`thys/Akra_Bazzi/Master_Theorem.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/Landau_Symbols/landau_simprocs.ML` (diff)