Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Moved in some material from the AFP entry Winding_number_eval
Changeset 77102:780161d4b55c by paulson _lp15@cam.ac.uk_:
Moved in some material from the AFP entry Winding_number_eval
The file was addedsrc/HOL/Analysis/Isolated.thy
The file was modified src/HOL/Analysis/Analysis.thy (diff)
The file was modified src/HOL/Limits.thy (diff)