Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. final tidying of theorems
  2. merged
  3. merged
  4. continued proof simplification
  5. merged
  6. Further simplifications
  7. More tidying of proofs
  8. tuned;
Changeset 76900:830597d13d6d by paulson _lp15@cam.ac.uk_:
final tidying of theorems
The file was modified src/HOL/Complex_Analysis/Complex_Singularities.thy (diff)
Changeset 76899:97a11357485c by paulson:
merged
Changeset 76898:969913b19a93 by paulson:
merged
Changeset 76897:a56e27f98763 by paulson _lp15@cam.ac.uk_:
continued proof simplification
The file was modified src/HOL/Complex_Analysis/Complex_Singularities.thy (diff)
Changeset 76896:c0459ee8220c by paulson:
merged
Changeset 76895:498d8babe716 by paulson _lp15@cam.ac.uk_:
Further simplifications
The file was modified src/HOL/Complex_Analysis/Complex_Singularities.thy (diff)
Changeset 76894:23f819af2d9f by paulson _lp15@cam.ac.uk_:
More tidying of proofs
The file was modified src/HOL/Analysis/Abstract_Topology_2.thy (diff)
The file was modified src/HOL/Analysis/Extended_Real_Limits.thy (diff)
The file was modified src/HOL/Analysis/Polytope.thy (diff)
Changeset 76893:7c3d50ffaece by wenzelm:
tuned;
The file was modified src/Pure/Thy/thy_syntax.scala (diff)