Changes

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

Changeset 11787:75faf142b4be by wenzelm: eliminated odd clone (see Isabelle/caa5a257d3ed);
The file was modified	`thys/Isabelle_C/C11-FrontEnd/src/C_Lexer_Annotation.thy`