Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. useful lemma integral_less
  2. merged
  3. removed unused parameter following f9908452b282
Changeset 75012:7483347efb4c by paulson _lp15@cam.ac.uk_:
useful lemma integral_less
The file was modified src/HOL/Analysis/Equivalence_Lebesgue_Henstock_Integration.thy (diff)
Changeset 75011:16f83cea1e0a by desharna:
merged
Changeset 75010:4261983ca0ce by desharna:
removed unused parameter following f9908452b282
The file was modified src/HOL/Tools/ATP/atp_problem_generate.ML (diff)