Changes

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

Changeset 14280:d8fb49658d5f by rene thiemann _rene.thiemann@uibk.ac.at_: more showl-real instantiation to Show_Real thy
The file was modified	`thys/Show/Show_Real.thy`
The file was modified	`thys/Show/Shows_Literal.thy`