Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. tuned op's
  3. tuned op's
  4. tuned op's
  5. tuned op's
  6. tuned op's
  7. tuned op's
Changeset 67242:a6d8458b48c0 by nipkow:
merged
Changeset 67241:73635a5bfa5c by nipkow:
tuned op's
The file was modified src/HOL/Analysis/Embed_Measure.thy (diff)
Changeset 67240:2c9694a8c000 by nipkow:
tuned op's
The file was modified src/HOL/Analysis/Path_Connected.thy (diff)
Changeset 67239:d0ca4e418839 by nipkow:
tuned op's
The file was modified src/HOL/Analysis/Path_Connected.thy (diff)
Changeset 67238:b2d2584ace51 by nipkow:
tuned op's
The file was modified src/HOL/Analysis/Connected.thy (diff)
Changeset 67237:1fe0ec14a90a by nipkow:
tuned op's
The file was modified src/HOL/Analysis/Cauchy_Integral_Theorem.thy (diff)
The file was modified src/HOL/Analysis/Connected.thy (diff)
The file was modified src/HOL/Analysis/Path_Connected.thy (diff)
Changeset 67236:d2be0579a2c8 by nipkow:
tuned op's
The file was modified src/HOL/Library/Numeral_Type.thy (diff)