Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. Merge
  2. Merge
  3. lots of new material, ultimately related to measure theory
Changeset 67675:738f170f43ee by paulson _lp15@cam.ac.uk_:
Merge
Changeset 67674:67909bfc3923 by paulson _lp15@cam.ac.uk_:
Merge
Changeset 67673:c8caefb20564 by paulson _lp15@cam.ac.uk_:
lots of new material, ultimately related to measure theory
The file was modified src/HOL/Analysis/Brouwer_Fixpoint.thy (diff)
The file was modified src/HOL/Analysis/Cartesian_Euclidean_Space.thy (diff)
The file was modified src/HOL/Analysis/Connected.thy (diff)
The file was modified src/HOL/Analysis/Determinants.thy (diff)
The file was modified src/HOL/Analysis/Fashoda_Theorem.thy (diff)
The file was modified src/HOL/Analysis/Finite_Cartesian_Product.thy (diff)
The file was modified src/HOL/Analysis/Lebesgue_Measure.thy (diff)
The file was modified src/HOL/Analysis/Measure_Space.thy (diff)
The file was modified src/HOL/Complete_Lattices.thy (diff)
The file was modified src/HOL/Groups_Big.thy (diff)
The file was modified src/HOL/HOL.thy (diff)
The file was modified src/HOL/Hilbert_Choice.thy (diff)
The file was modified src/HOL/Library/Permutations.thy (diff)
The file was modified src/HOL/Limits.thy (diff)
The file was modified src/HOL/Nat.thy (diff)
The file was modified src/HOL/Orderings.thy (diff)
The file was modified src/HOL/Real_Vector_Spaces.thy (diff)
The file was modified src/HOL/Set.thy (diff)
The file was modified src/HOL/Zorn.thy (diff)