Changes

Changes from Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)

Changeset 14253:a6d153d38d4b by walter guttmann _walter.guttmann@canterbury.ac.nz_: Multirelations_Heterogeneous: added Hoare rules for multirelations
The file was modified	`thys/Multirelations_Heterogeneous/Multirelations.thy`