Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Merge (non-trivial)
  2. More tidying, and renaming of theorems
  3. merged
  4. More tidying up of monotone_convergence_interval
Changeset 66498:97fc319d6089 by paulson _lp15@cam.ac.uk_:
Merge (non-trivial)
Changeset 66497:18a6478a574c by paulson _lp15@cam.ac.uk_:
More tidying, and renaming of theorems
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)
The file was modified src/HOL/Analysis/Tagged_Division.thy (diff)
Changeset 66496:001d4a9986a2 by paulson:
merged
Changeset 66495:0b46bd081228 by paulson _lp15@cam.ac.uk_:
More tidying up of monotone_convergence_interval
The file was modified src/HOL/Analysis/Harmonic_Numbers.thy (diff)
The file was modified src/HOL/Analysis/Henstock_Kurzweil_Integration.thy (diff)