Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Adapted Approximation_Bounds to changes in Multiset
  2. Simprocs for roots of numerals
  3. Updated NEWS
  4. HOL-Analysis: Infinite products
  5. More material on powers for HOL-Computational_Algebra/HOL-Number_Theory
Changeset 66280:0c5eb47e2696 by eberlm _eberlm@in.tum.de_:
Adapted Approximation_Bounds to changes in Multiset
The file was modified src/HOL/Decision_Procs/Approximation_Bounds.thy (diff)
Changeset 66279:2dba15d3c402 by eberlm _eberlm@in.tum.de_:
Simprocs for roots of numerals
The file was modified src/HOL/Transcendental.thy (diff)
Changeset 66278:978fb83b100c by eberlm _eberlm@in.tum.de_:
Updated NEWS
The file was modified NEWS (diff)
Changeset 66277:512b0dc09061 by eberlm _eberlm@in.tum.de_:
HOL-Analysis: Infinite products
The file was addedsrc/HOL/Analysis/Infinite_Products.thy
The file was modified src/HOL/Analysis/Analysis.thy (diff)
Changeset 66276:acc3b7dd0b21 by eberlm _eberlm@in.tum.de_:
More material on powers for HOL-Computational_Algebra/HOL-Number_Theory
The file was addedsrc/HOL/Computational_Algebra/Nth_Powers.thy
The file was addedsrc/HOL/Computational_Algebra/Squarefree.thy
The file was addedsrc/HOL/Number_Theory/Prime_Powers.thy
The file was modified src/HOL/Computational_Algebra/Computational_Algebra.thy (diff)
The file was modified src/HOL/Computational_Algebra/Factorial_Ring.thy (diff)
The file was modified src/HOL/Library/Multiset.thy (diff)
The file was modified src/HOL/Number_Theory/Number_Theory.thy (diff)