Changes

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

Summary

added contributor

Changeset 14317:a23e9762512e by nipkow: added contributor
The file was modified	`metadata/authors.toml`
The file was modified	`metadata/entries/KnuthMorrisPratt.toml`
The file was modified	`web/entries/Catoids.html`
The file was modified	`web/entries/Combinatorics_Words.html`
The file was modified	`web/entries/Distributed_Distinct_Elements.html`
The file was modified	`web/entries/Efficient_Weighted_Path_Order.html`
The file was modified	`web/entries/Finite_Fields.html`
The file was modified	`web/entries/Frequency_Moments.html`
The file was modified	`web/entries/HoareForDivergence.html`
The file was modified	`web/entries/HyperHoareLogic.html`
The file was modified	`web/entries/KnuthMorrisPratt.html`
The file was modified	`web/entries/List_Update.html`
The file was modified	`web/entries/OmegaCatoidsQuantales.html`
The file was modified	`web/entries/Polygonal_Number_Theorem.html`
The file was modified	`web/entries/Prim_Dijkstra_Simple.html`
The file was modified	`web/entries/Propositional_Proof_Systems.html`
The file was modified	`web/entries/Quantales_Converse.html`
The file was modified	`web/entries/Real_Time_Deque.html`
The file was modified	`web/entries/S_Finite_Measure_Monad.html`
The file was modified	`web/entries/Standard_Borel_Spaces.html`
The file was modified	`web/entries/Transport.html`
The file was modified	`web/entries/Universal_Hash_Families.html`
The file was modified	`web/entries/Wieferich_Kempner.html`
The file was modified	`web/sessions/distributed_distinct_elements/index.html`
The file was modified	`web/sessions/finite_fields/index.html`
The file was modified	`web/sessions/frequency_moments/index.html`
The file was modified	`web/sessions/transport/index.html`
The file was modified	`web/sessions/universal_hash_families/index.html`
The file was modified	`web/statistics/index.html`