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
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)