Changes

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

Changeset 11302:b3e61e86eff9 by haftmann: identified operation alias; tuned
The file was modified	`thys/Word_Lib/More_Divides.thy`
The file was modified	`thys/Word_Lib/Word_Lemmas_32.thy`
The file was modified	`thys/Word_Lib/Word_Lemmas_64.thy`
The file was modified	`thys/Word_Lib/Word_Lib.thy`