Changes

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

Changeset 13340:6d5f8fb53ac6 by paulson _lp15@cam.ac.uk_: fixed looping proofs
The file was modified	`thys/Category3/Limit.thy`
The file was modified	`thys/Ordinal_Partitions/Omega_Omega.thy`
The file was modified	`thys/Ordinal_Partitions/Partitions.thy`
The file was modified	`thys/Source_Coding_Theorem/Source_Coding_Theorem.thy`