Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. more lemmas and more correct lemma names
  2. NEWS: corrected the definition of convexity of functions
  3. Further lemmas concerning complexity and measures
Changeset 79585:dafb3d343cd6 by haftmann:
more lemmas and more correct lemma names
The file was modified src/HOL/Bit_Operations.thy (diff)
The file was modified src/HOL/Code_Numeral.thy (diff)
The file was modified src/HOL/Parity.thy (diff)
Changeset 79584:924e487288fb by paulson _lp15@cam.ac.uk_:
NEWS: corrected the definition of convexity of functions
The file was modified NEWS (diff)
Changeset 79583:a521c241e946 by paulson _lp15@cam.ac.uk_:
Further lemmas concerning complexity and measures
The file was modified src/HOL/Analysis/Convex.thy (diff)
The file was modified src/HOL/Analysis/Nonnegative_Lebesgue_Integration.thy (diff)
The file was modified src/HOL/Analysis/Sigma_Algebra.thy (diff)
The file was modified src/HOL/Analysis/Starlike.thy (diff)
The file was modified src/HOL/Probability/Conditional_Expectation.thy (diff)