Changes

Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

New theory Equivalence_Measurable_On_Borel, with the HOL Light notion of measurable_on and its equivalence to ours

Changeset 70694:ae37b8fbf023 by paulson _lp15@cam.ac.uk_: New theory Equivalence_Measurable_On_Borel, with the HOL Light notion of measurable_on and its equivalence to ours
The file was added	`src/HOL/Analysis/Equivalence_Measurable_On_Borel.thy`
The file was modified	`src/HOL/Analysis/Analysis.thy`
The file was modified	`src/HOL/Analysis/Equivalence_Lebesgue_Henstock_Integration.thy`
The file was modified	`src/HOL/Analysis/Lebesgue_Measure.thy`
The file was modified	`src/HOL/Limits.thy`