Skip to content
[Jenkins]Jenkins
log in
Success

Changes

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

Summary

  1. updated to devel
  2. Moving a bit more material into the Analysis library
Changeset 10649:dcb063b90519 by nipkow:
updated to devel
The file was modified thys/Priority_Search_Trees/PST_General.thy
The file was modified thys/Priority_Search_Trees/PST_RBT.thy
Changeset 10648:66bfe59e1850 by paulson _lp15@cam.ac.uk_:
Moving a bit more material into the Analysis library
The file was modified thys/Fourier/Fourier.thy
The file was modified thys/Fourier/Fourier_Aux2.thy

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

Summary

  1. added lemma
  2. more Phabricator configuration;
  3. A little more material from the Fourier AFP entry, and the correction of two very slow proof lines
Changeset 70762:d4a23cc9aabc by nipkow:
added lemma
The file was modified src/HOL/Data_Structures/Tree2.thy
Changeset 70761:a9312914081f by wenzelm:
more Phabricator configuration;
The file was modified Admin/Phabricator/README
Changeset 70760:ffbe7784cc85 by paulson _lp15@cam.ac.uk_:
A little more material from the Fourier AFP entry, and the correction of two very slow proof lines
The file was modified src/HOL/Analysis/Equivalence_Measurable_On_Borel.thy
The file was modified src/HOL/Analysis/Henstock_Kurzweil_Integration.thy