Skip to content
Success

Changes

Summary

  1. adjusted to more algebraic lemmas in distribution
Changeset 7118:a496d9814c53 by haftmann:
adjusted to more algebraic lemmas in distribution
The file was modified thys/Decreasing-Diagrams/Decreasing_Diagrams.thy (diff)
The file was modified thys/Lehmer/Lehmer.thy (diff)
The file was modified thys/Polynomial_Factorization/Prime_Factorization.thy (diff)
The file was modified thys/Pratt_Certificate/Pratt_Certificate.thy (diff)
The file was modified thys/Prime_Harmonic_Series/Squarefree_Nat.thy (diff)
The file was modified thys/Real_Impl/Prime_Product.thy (diff)