Changes

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

Changeset 80177:1478555580af by paulson _lp15@cam.ac.uk_: More binomial material
The file was added	`src/HOL/Binomial_Plus.thy`
The file was modified	`src/HOL/Complex_Main.thy`
The file was modified	`src/HOL/Transcendental.thy`