Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Merge
  2. Merge
  3. new/improved theories involving convergence; better pretty-printing for bounded quantifiers and sum/product
Changeset 67270:f18c774acde4 by paulson _lp15@cam.ac.uk_:
Merge
Changeset 67269:42696c5a16ab by paulson _lp15@cam.ac.uk_:
Merge
Changeset 67268:bdf25939a550 by paulson _lp15@cam.ac.uk_:
new/improved theories involving convergence; better pretty-printing for bounded quantifiers and sum/product
The file was modified src/HOL/Analysis/Complex_Transcendental.thy (diff)
The file was modified src/HOL/Analysis/Infinite_Set_Sum.thy (diff)
The file was modified src/HOL/Groups_Big.thy (diff)
The file was modified src/HOL/Series.thy (diff)
The file was modified src/HOL/Set.thy (diff)
The file was modified src/HOL/Transcendental.thy (diff)