Changes

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

Summary

1. adjust Coppersmith from 2024 to development version
2. merge from AFP 2024
3. metadata and sitegen for EnrichedCategoryBasics and ResiduatedTransitionSystem2
4. new entry: ResiduatedTransitionSystem2
5. added EnrichedCategoryBasics
6. typo
7. typo
8. sitegen for Alpha_Beta_Pruning
9. tuned whitespace
10. tuned proofs (to make the linter happier)
11. new entry Alpha_Beta_Pruning
12. metadata and sitegen for Coppersmith
13. new entry: Coppersmith
14. sitegen for Riesz_Representation and Levy_Prokhorov_Metric
15. New entries Riesz_Representation and Levy_Prokhorov_Metric
16. sort submissions in overview;
17. sitegen for Stone_Cech
18. New entry Stone_Cech
19. merged
20. fixed typo
21. amend a821024e3b0d: actually save status;
22. New entries More_LazyLists Relative_Security Secret_Directed_Unwinding
23. sitegen for Countable_Sums_and_Discrete_Distributions
24. New entry Countable_Sums_and_Discrete_Distributions (after considerable tidying)
25. New entries Sorted_Terms and Pattern_Completeness
26. update doc;
27. sitegen;
28. sitegen: only add link if contributor appears as author;
29. sitegen for Isabelle2024;