Skip to content
[Jenkins]Jenkins
log in
Success

Changes

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

Summary

  1. merged
  2. adapted to devel
Changeset 10027:1dd636db2443 by nipkow:
merged
Changeset 10026:b47e03d6f6f5 by nipkow:
adapted to devel
The file was modified thys/Differential_Dynamic_Logic/Frechet_Correctness.thy
The file was modified thys/Differential_Dynamic_Logic/Lib.thy

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

Summary

  1. Reorg of material
  2. redundant lemma
  3. tuned headers
Changeset 69669:de2f0a24b0f0 by nipkow:
Reorg of material
The file was modified src/HOL/Analysis/Cartesian_Euclidean_Space.thy
The file was modified src/HOL/Analysis/Cartesian_Space.thy
The file was modified src/HOL/Analysis/Finite_Cartesian_Product.thy
Changeset 69668:14a8cac10eac by nipkow:
redundant lemma
The file was modified src/HOL/Analysis/Cartesian_Euclidean_Space.thy
The file was modified src/HOL/Analysis/Finite_Cartesian_Product.thy
The file was modified src/HOL/Analysis/Henstock_Kurzweil_Integration.thy
Changeset 69667:82bb6225588b by nipkow:
tuned headers
The file was modified src/HOL/Analysis/Cartesian_Euclidean_Space.thy
The file was modified src/HOL/Analysis/Cartesian_Space.thy