Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Merged
  2. Resolved duplication in Polynomial_Factorization
  3. Lemmas about asymptotic equivalence
  4. Tuned Landau
  5. moved hiding of RBT.filter to distribution
Changeset 7045:cde511c576e7 by manuel eberl _eberlm@in.tum.de_:
Merged
Changeset 7044:846a37d3c79a by manuel eberl _eberlm@in.tum.de_:
Resolved duplication in Polynomial_Factorization
The file was modified thys/Polynomial_Factorization/Polynomial_Divisibility.thy (diff)
Changeset 7043:bc3eea7c11a6 by manuel eberl _eberlm@in.tum.de_:
Lemmas about asymptotic equivalence
The file was modified thys/Landau_Symbols/Asymptotic_Equivalence.thy (diff)
Changeset 7042:3e310855cc71 by manuel eberl _eberlm@in.tum.de_:
Tuned Landau
The file was modified thys/Landau_Symbols/Landau_Library.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)
Changeset 7041:0a5afc4233bc by manuel eberl _eberlm@in.tum.de_:
moved hiding of RBT.filter to distribution
The file was modified thys/Algebraic_Numbers/Algebraic_Numbers_Prelim.thy (diff)