Changes

Summary

Changeset 74969:fa0020b47868 by paulson _lp15@cam.ac.uk_: New and simplified theorems
The file was modified	`src/HOL/Analysis/Derivative.thy` (diff)
The file was modified	`src/HOL/Analysis/Equivalence_Measurable_On_Borel.thy` (diff)
The file was modified	`src/HOL/Factorial.thy` (diff)
The file was modified	`src/HOL/Set_Interval.thy` (diff)