Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merge
  2. more conservative output, avoiding nonstandard feature of E
  3. merged
  4. winding numbers predicate
Changeset 68329:9946707cf329 by blanchet:
merge
Changeset 68328:0d751da653d9 by blanchet:
more conservative output, avoiding nonstandard feature of E
The file was modified src/HOL/Tools/ATP/atp_systems.ML (diff)
Changeset 68327:7d946d8bc058 by paulson:
merged
Changeset 68326:3c71695ff7ce by paulson _lp15@cam.ac.uk_:
winding numbers predicate
The file was modified src/HOL/Analysis/Cauchy_Integral_Theorem.thy (diff)