Changes

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

Changeset 80072:33a9b1d6a651 by Manuel Eberl _manuel@pruvisto.org_: added documentation for meromorphicity etc. in HOL-Complex_Analysis
The file was modified	`src/HOL/Complex_Analysis/Meromorphic.thy`