Summary
- 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) |