Skip to content
[Jenkins]Jenkins
log in
Success

Changes

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

Summary

  1. removed junk;
  2. tuned proofs;
Changeset 73373:3bb9df8900fd by wenzelm:
removed junk;
The file was modified src/HOL/Analysis/Henstock_Kurzweil_Integration.thy
Changeset 73372:10b9b3341c26 by wenzelm:
tuned proofs;
The file was modified src/HOL/Analysis/Affine.thy