Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. HOL-Analysis: add set_integrable_restrict_space
  2. more correct parentheses
Changeset 67339:d91b9d22305b by hoelzl:
HOL-Analysis: add set_integrable_restrict_space
The file was modified src/HOL/Analysis/Set_Integral.thy (diff)
Changeset 67338:b164fdbb423d by haftmann:
more correct parentheses
The file was modified src/Tools/Code/code_runtime.ML (diff)