Skip to content
[Jenkins]Jenkins
log in
Success

Changes

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 (diff)
Changeset 70761:a9312914081f by wenzelm:
more Phabricator configuration;
The file was modified Admin/Phabricator/README (diff)
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 (diff)
The file was modified src/HOL/Analysis/Henstock_Kurzweil_Integration.thy (diff)