Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. some more random results
  2. more results about measure and negligibility
  3. explicit simp rules for computing abstract bit operations
  4. more and generalized lemmas
Changeset 67990:c0ebecf6e3eb by paulson _lp15@cam.ac.uk_:
some more random results
The file was modified src/HOL/Analysis/Determinants.thy (diff)
The file was modified src/HOL/Analysis/Equivalence_Lebesgue_Henstock_Integration.thy (diff)
The file was modified src/HOL/Analysis/Lebesgue_Measure.thy (diff)
The file was modified src/HOL/Analysis/Starlike.thy (diff)
Changeset 67989:706f86afff43 by paulson _lp15@cam.ac.uk_:
more results about measure and negligibility
The file was modified src/HOL/Analysis/Equivalence_Lebesgue_Henstock_Integration.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/Analysis/Starlike.thy (diff)
Changeset 67988:01c651412081 by haftmann:
explicit simp rules for computing abstract bit operations
The file was modified src/HOL/Parity.thy (diff)
Changeset 67987:9044e1f1d324 by haftmann:
more and generalized lemmas
The file was modified src/HOL/Set_Interval.thy (diff)