Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. merged
  3. tidied some proofs
  4. merged
  5. merged
  6. more small tidying
Changeset 68286:b9160ca067ae by paulson:
merged
Changeset 68285:9d93b13f07ce by paulson:
merged
Changeset 68284:5e4e006f9552 by paulson _lp15@cam.ac.uk_:
tidied some proofs
The file was modified src/HOL/Analysis/Cauchy_Integral_Theorem.thy (diff)
Changeset 68283:e2f235b9662a by paulson:
merged
Changeset 68282:d6b789072d72 by paulson:
merged
Changeset 68281:faa4b49d1b34 by paulson _lp15@cam.ac.uk_:
more small tidying
The file was modified src/HOL/Analysis/Complex_Transcendental.thy (diff)