Changes

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

merged
Updated KnuthMorrisPratt to include new definitions by Christian Zimmerer using while loops

Changeset 14294:ac2384b8b86d by paulson: merged
Changeset 14293:105bd5da5e7e by paulson _lp15@cam.ac.uk_: Updated KnuthMorrisPratt to include new definitions by Christian Zimmerer using while loops
The file was modified	`thys/KnuthMorrisPratt/KnuthMorrisPratt.thy`
The file was modified	`thys/KnuthMorrisPratt/document/root.tex`