Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. type class generalisations; some work on infinite products
Changeset 68065:d2daeef3ce47 by paulson:
merged
Changeset 68064:b249fab48c76 by paulson _lp15@cam.ac.uk_:
type class generalisations; some work on infinite products
The file was modified src/HOL/Analysis/Infinite_Products.thy (diff)
The file was modified src/HOL/Limits.thy (diff)
The file was modified src/HOL/Series.thy (diff)
The file was modified src/HOL/Set_Interval.thy (diff)
The file was modified src/HOL/Topological_Spaces.thy (diff)