Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Merged
  2. Some lemmas about complex sinh/cosh/tanh
  3. more elementary proof of connected_Times, earlier
  4. merged
  5. tuned
Changeset 67579:1a636c22d85c by eberlm _eberlm@in.tum.de_:
Merged
Changeset 67578:6a9a0f2bb9b4 by manuel eberl _eberlm@in.tum.de_:
Some lemmas about complex sinh/cosh/tanh
The file was modified src/HOL/Analysis/Complex_Transcendental.thy (diff)
Changeset 67577:0ac53b666228 by immler:
more elementary proof of connected_Times, earlier
The file was modified src/HOL/Analysis/Connected.thy (diff)
The file was modified src/HOL/Topological_Spaces.thy (diff)
Changeset 67576:b01b22f9e42e by nipkow:
merged
Changeset 67575:8563eb539e7f by nipkow:
tuned
The file was modified src/HOL/Product_Type.thy (diff)