Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. some tidying of division_of_nontrivial
  3. division_of_nontrivial partial cleanup
  4. tuning
  5. tuned
  6. merged
  7. Elimination of some "presume"
  8. unscrambled Henstock_lemma_part1
Changeset 66525:4585bfd19074 by paulson:
merged
Changeset 66524:0d8dab1f6903 by paulson _lp15@cam.ac.uk_:
some tidying of division_of_nontrivial
The file was modified src/HOL/Analysis/Henstock_Kurzweil_Integration.thy (diff)
Changeset 66523:5a1a2ac950c2 by paulson _lp15@cam.ac.uk_:
division_of_nontrivial partial cleanup
The file was modified src/HOL/Analysis/Henstock_Kurzweil_Integration.thy (diff)
Changeset 66522:5fe7ed50d096 by nipkow:
tuning
The file was modified src/HOL/Data_Structures/Binomial_Heap.thy (diff)
The file was modified src/HOL/Data_Structures/Leftist_Heap.thy (diff)
Changeset 66521:b48077ae8b12 by nipkow:
tuned
The file was modified src/HOL/Transcendental.thy (diff)
Changeset 66520:b6d04f487ddd by paulson:
merged
Changeset 66519:b757c1cc8868 by paulson _lp15@cam.ac.uk_:
Elimination of some "presume"
The file was modified src/HOL/Analysis/Henstock_Kurzweil_Integration.thy (diff)
Changeset 66518:5e65236e95aa by paulson _lp15@cam.ac.uk_:
unscrambled Henstock_lemma_part1
The file was modified src/HOL/Analysis/Henstock_Kurzweil_Integration.thy (diff)