Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. approximation, derivative, and continuity of floor and ceiling
Changeset 63264:6b6f0eb9825b by immler:
merged
Changeset 63263:c6c95d64607a by immler:
approximation, derivative, and continuity of floor and ceiling
The file was modified src/HOL/Decision_Procs/Approximation.thy (diff)
The file was modified src/HOL/Decision_Procs/ex/Approximation_Ex.thy (diff)
The file was modified src/HOL/Deriv.thy (diff)
The file was modified src/HOL/Limits.thy (diff)