Changes

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

merged
Moved in a large number of highly useful library lemmas, mostly due to Manuel Eberl

Changeset 77139:da8a0e7bcac8 by paulson: merged
Changeset 77138:c8597292cd41 by paulson _lp15@cam.ac.uk_: Moved in a large number of highly useful library lemmas, mostly due to Manuel Eberl
The file was modified	`src/HOL/Algebra/QuotRing.thy`
The file was modified	`src/HOL/Analysis/Abstract_Topology_2.thy`
The file was modified	`src/HOL/Complex.thy`
The file was modified	`src/HOL/Deriv.thy`
The file was modified	`src/HOL/Fun.thy`
The file was modified	`src/HOL/Library/Countable_Set.thy`
The file was modified	`src/HOL/Library/Product_Order.thy`
The file was modified	`src/HOL/Power.thy`
The file was modified	`src/HOL/Real_Vector_Spaces.thy`
The file was modified	`src/HOL/Topological_Spaces.thy`
The file was modified	`src/HOL/Transcendental.thy`