Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. Merge
  2. Merge
  3. moved two theorems
  4. updated proof of Residue Theorem (form Wenda Li)
  5. merged
  6. renamed suffix(eq)
  7. updated 'define';
Changeset 63154:f8a3f11bf6e7 by paulson _lp15@cam.ac.uk_:
Merge
Changeset 63153:427cf3baad16 by paulson _lp15@cam.ac.uk_:
Merge
Changeset 63152:1aa23fe79b97 by paulson _lp15@cam.ac.uk_:
moved two theorems
The file was modified src/HOL/Multivariate_Analysis/Conformal_Mappings.thy (diff)
Changeset 63151:82df5181d699 by paulson _lp15@cam.ac.uk_:
updated proof of Residue Theorem (form Wenda Li)
The file was modified src/HOL/Multivariate_Analysis/Conformal_Mappings.thy (diff)
The file was modified src/HOL/Multivariate_Analysis/Path_Connected.thy (diff)
The file was modified src/HOL/Multivariate_Analysis/Topology_Euclidean_Space.thy (diff)
Changeset 63150:dbb176f511c5 by nipkow:
merged
Changeset 63149:f5dbab18c404 by nipkow:
renamed suffix(eq)
The file was modified NEWS (diff)
The file was modified src/HOL/Library/Sublist.thy (diff)
Changeset 63148:6a767355d1a9 by wenzelm:
updated 'define';
The file was modified src/HOL/Library/Disjoint_Sets.thy (diff)
The file was modified src/HOL/Library/Permutations.thy (diff)
The file was modified src/HOL/Multivariate_Analysis/Convex_Euclidean_Space.thy (diff)
The file was modified src/HOL/Multivariate_Analysis/Linear_Algebra.thy (diff)
The file was modified src/HOL/Multivariate_Analysis/Polytope.thy (diff)