Changes

Changes from Mercurial (hg https://bitbucket.org/isa-afp/afp-devel/ default)

Changeset 10855:76aa4d49a895 by "eugene w. stark _stark@cs.stonybrook.edu_": Demote some simps that were not pulling their weight.
The file was modified	`thys/Bicategory/BicategoryOfSpans.thy`
The file was modified	`thys/Bicategory/InternalAdjunction.thy`
The file was modified	`thys/Bicategory/Prebicategory.thy`
The file was modified	`thys/Bicategory/Strictness.thy`