Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. correction to my previous commit
  2. merged
  3. last-minute integration unscrambling
Changeset 66554:19bf4d5966dc by paulson _lp15@cam.ac.uk_:
correction to my previous commit
The file was modified src/HOL/Analysis/Harmonic_Numbers.thy (diff)
Changeset 66553:6ab32ffb2bdd by paulson:
merged
Changeset 66552:507a42c0a0ff by paulson _lp15@cam.ac.uk_:
last-minute integration unscrambling
The file was modified src/HOL/Analysis/Equivalence_Lebesgue_Henstock_Integration.thy (diff)
The file was modified src/HOL/Analysis/Henstock_Kurzweil_Integration.thy (diff)
The file was modified src/HOL/Analysis/Improper_Integral.thy (diff)