Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. Tuned Euclidean Rings/GCD rings
  2. Fixed code equations for Gcd/Lcm
Changeset 62429:25271ff79171 by manuel eberl _eberlm@in.tum.de_:
Tuned Euclidean Rings/GCD rings
The file was modified src/HOL/Codegenerator_Test/Generate_Efficient_Datastructures.thy (diff)
The file was modified src/HOL/GCD.thy (diff)
The file was modified src/HOL/Isar_Examples/Fibonacci.thy (diff)
The file was modified src/HOL/Number_Theory/Cong.thy (diff)
The file was modified src/HOL/Number_Theory/Euclidean_Algorithm.thy (diff)
The file was modified src/HOL/Number_Theory/Fib.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/Primes.thy (diff)
The file was modified src/HOL/Number_Theory/UniqueFactorization.thy (diff)
Changeset 62428:4d5fbec92bb1 by manuel eberl _eberlm@in.tum.de_:
Fixed code equations for Gcd/Lcm
The file was modified src/HOL/Number_Theory/Euclidean_Algorithm.thy (diff)