Summary
- merged
- 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) |