Changes

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

Changeset 13025:75a5ba7c00bc by Dominique Unruh _unruh@ut.ee_: Complex_Bounded_Operators: Fixed errors in document generation
The file was modified	`thys/Complex_Bounded_Operators/extra/Extra_General.thy`