Skip to content
[Jenkins]Jenkins
log in
Success

Changes

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

Summary

  1. Patched some failing proofs
Changeset 10607:ef5c588d2a90 by paulson _lp15@cam.ac.uk_:
Patched some failing proofs
The file was modified thys/Smooth_Manifolds/Smooth.thy

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

Summary

  1. merged
  2. Tidying and one more theorem
Changeset 70738:da7c0df11a04 by paulson:
merged
Changeset 70737:e4825ec20468 by paulson _lp15@cam.ac.uk_:
Tidying and one more theorem
The file was modified src/HOL/Analysis/Derivative.thy
The file was modified src/HOL/Library/Boolean_Algebra.thy