Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. Fixed import path in Factorial_Ring
  2. Merged
  3. Merged
  4. Tuned
  5. Merged
  6. moved AFP material to Formal_Power_Series; renamed E/L/F in Formal_Power_Series
  7. moved material from AFP to distribution
Changeset 65401:590c1a53c78d by eberlm _eberlm@in.tum.de_:
Fixed import path in Factorial_Ring
The file was modified src/HOL/Number_Theory/Factorial_Ring.thy (diff)
Changeset 65400:feb83174a87a by eberlm _eberlm@in.tum.de_:
Merged
Changeset 65399:3f291f7a3646 by eberlm _eberlm@in.tum.de_:
Merged
Changeset 65398:a14fa655b48c by eberlm _eberlm@in.tum.de_:
Tuned
The file was modified src/HOL/Library/Formal_Power_Series.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)
Changeset 65397:9cdafcfb28bf by eberlm _eberlm@in.tum.de_:
Merged
Changeset 65396:b42167902f57 by eberlm _eberlm@in.tum.de_:
moved AFP material to Formal_Power_Series; renamed E/L/F in Formal_Power_Series
The file was modified NEWS (diff)
The file was modified src/HOL/Library/Formal_Power_Series.thy (diff)
Changeset 65395:7504569a73c7 by eberlm _eberlm@in.tum.de_:
moved material from AFP to distribution
The file was modified src/HOL/Analysis/Harmonic_Numbers.thy (diff)
The file was modified src/HOL/Probability/Probability_Mass_Function.thy (diff)
The file was modified src/HOL/Probability/Random_Permutations.thy (diff)