Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Automated merge with bundle:/var/folders/9z/l1x9y3bd16x9_70pdp4703jr0000gp/T/SourceTreeTemp.jiRMht
  2. A few more new lemmas
Changeset 65720:c5b19f997214 by paulson _lp15@cam.ac.uk_:
Automated merge with bundle:/var/folders/9z/l1x9y3bd16x9_70pdp4703jr0000gp/T/SourceTreeTemp.jiRMht
Changeset 65719:7c57d79d61b7 by paulson _lp15@cam.ac.uk_:
A few more new lemmas
The file was modified src/HOL/Analysis/Complex_Transcendental.thy (diff)
The file was modified src/HOL/Analysis/Convex_Euclidean_Space.thy (diff)