Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. reduced imports
  3. Fixed a few messy proofs and adjusted inconsistent section headings
  4. A more informative comment
Changeset 71171:a25b6f79043f by nipkow:
merged
Changeset 71170:57bc95d23491 by nipkow:
reduced imports
The file was modified src/HOL/Analysis/Abstract_Euclidean_Space.thy (diff)
The file was modified src/HOL/Analysis/Cartesian_Euclidean_Space.thy (diff)
The file was modified src/HOL/Analysis/Derivative.thy (diff)
Changeset 71169:df1d96114754 by paulson _lp15@cam.ac.uk_:
Fixed a few messy proofs and adjusted inconsistent section headings
The file was modified src/HOL/Analysis/Line_Segment.thy (diff)
Changeset 71168:11e1e273eaad by paulson _lp15@cam.ac.uk_:
A more informative comment
The file was modified src/HOL/ex/SOS.thy (diff)