Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. new lemmas mostly about paths
  3. lexorders the locale way
Changeset 73796:56f31baaa837 by paulson:
merged
Changeset 73795:8893e0ed263a by paulson _lp15@cam.ac.uk_:
new lemmas mostly about paths
The file was modified src/HOL/Analysis/Convex_Euclidean_Space.thy (diff)
The file was modified src/HOL/Analysis/Derivative.thy (diff)
The file was modified src/HOL/Analysis/Linear_Algebra.thy (diff)
The file was modified src/HOL/Analysis/Path_Connected.thy (diff)
The file was modified src/HOL/Complex_Analysis/Complex_Singularities.thy (diff)
The file was modified src/HOL/Complex_Analysis/Contour_Integration.thy (diff)
The file was modified src/HOL/Deriv.thy (diff)
The file was modified src/HOL/Limits.thy (diff)
Changeset 73794:e75635a0bafd by haftmann:
lexorders the locale way
The file was addedsrc/HOL/Library/Lexord.thy
The file was modified src/HOL/Orderings.thy (diff)