Changes

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

Changeset 80398:4953d52e04d2 by nipkow: tuned def: patter matching needs more beautification
The file was modified	`src/HOL/Data_Structures/Set2_Join.thy`