Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. infinite product material
  2. merged
  3. tidied more Cauchy proofs
Changeset 68361:20375f232f3b by paulson _lp15@cam.ac.uk_:
infinite product material
The file was modified src/HOL/Analysis/Brouwer_Fixpoint.thy (diff)
The file was modified src/HOL/Analysis/Henstock_Kurzweil_Integration.thy (diff)
The file was modified src/HOL/Analysis/Infinite_Products.thy (diff)
The file was modified src/HOL/Groups_Big.thy (diff)
The file was modified src/HOL/Set_Interval.thy (diff)
The file was modified src/HOL/Topological_Spaces.thy (diff)
Changeset 68360:0f19c98fa7be by paulson:
merged
Changeset 68359:8cd3d0305269 by paulson _lp15@cam.ac.uk_:
tidied more Cauchy proofs
The file was modified src/HOL/Analysis/Cauchy_Integral_Theorem.thy (diff)
The file was modified src/HOL/Analysis/Conformal_Mappings.thy (diff)