Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. Tuned primes
  2. Merged
  3. is_prime -> prime
Changeset 63635:858a225ebb62 by eberlm _eberlm@in.tum.de_:
Tuned primes
The file was modified NEWS (diff)
The file was modified src/HOL/Number_Theory/Primes.thy (diff)
The file was modified src/HOL/ex/Sqrt.thy (diff)
The file was modified src/HOL/ex/Sqrt_Script.thy (diff)
Changeset 63634:8711db9f078a by eberlm _eberlm@in.tum.de_:
Merged
Changeset 63633:2accfb71e33b by eberlm _eberlm@in.tum.de_:
is_prime -> prime
The file was modified src/HOL/Algebra/Divisibility.thy (diff)
The file was modified src/HOL/Algebra/Exponent.thy (diff)
The file was modified src/HOL/Algebra/Ideal.thy (diff)
The file was modified src/HOL/Algebra/IntRing.thy (diff)
The file was modified src/HOL/Nonstandard_Analysis/Examples/NSPrimes.thy (diff)
The file was modified src/HOL/Number_Theory/Eratosthenes.thy (diff)
The file was modified src/HOL/Number_Theory/Euclidean_Algorithm.thy (diff)
The file was modified src/HOL/Number_Theory/Factorial_Ring.thy (diff)
The file was modified src/HOL/Number_Theory/Gauss.thy (diff)
The file was modified src/HOL/Number_Theory/Pocklington.thy (diff)
The file was modified src/HOL/Number_Theory/Polynomial_Factorial.thy (diff)
The file was modified src/HOL/Number_Theory/Primes.thy (diff)
The file was modified src/HOL/Number_Theory/Residues.thy (diff)
The file was modified src/HOL/Proofs/Extraction/Euclid.thy (diff)