Changes

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

Changeset 80127:39f9084a9668 by kevin kappelmann _kevin.kappelmann@tum.de_: make adhoc_overloading respect type constraints
The file was modified	`src/HOL/Library/adhoc_overloading.ML`