Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Generalised asymp_equiv; introduced goal size threshold for the simplify_landau_sum simproc.
Changeset 8900:d7d043ab8ed6 by eberlm _eberlm@in.tum.de_:
Generalised asymp_equiv; introduced goal size threshold for the simplify_landau_sum simproc.
The file was modified thys/Catalan_Numbers/Catalan_Numbers.thy (diff)
The file was modified thys/Landau_Symbols/Asymptotic_Equivalence.thy (diff)
The file was modified thys/Landau_Symbols/Landau_More.thy (diff)
The file was modified thys/Landau_Symbols/Landau_Simprocs.thy (diff)
The file was modified thys/Landau_Symbols/landau_simprocs.ML (diff)
The file was modified thys/Stirling_Formula/Stirling_Formula.thy (diff)