Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Changes from Mercurial (hg https://bitbucket.org/isa-afp/afp-devel/ default)

Summary

  1. transfer of a few results to the main Analysis library
Changeset 10606:f807a036febc by paulson _lp15@cam.ac.uk_:
transfer of a few results to the main Analysis library
The file was modified thys/Gromov_Hyperbolicity/Library_Complements.thy
The file was modified thys/Smooth_Manifolds/Analysis_More.thy

Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

Summary

  1. Four new results from Smooth_Manifolds/Analysis_More
Changeset 70725:e19c18b4a0dd by paulson _lp15@cam.ac.uk_:
Four new results from Smooth_Manifolds/Analysis_More
The file was modified src/HOL/Analysis/Derivative.thy