Changes

Summary

1. merge from afp-2023;
2. sitegen;
3. change web path to /sessions/ instead of /theories/ for consistent naming scheme;
4. sitegen;
5. tuned: remove hugo warnings;
6. tuned whitespace;
7. tuned;
8. sitegen;
9. display only unique exact matches in topic listing;
10. sitegen;
11. remove automatic title capitalization;
12. improve description of the submission process;
13. improved path resolving in theory view;
14. sitegen;
15. generate theory listings for dependencies in distribution;
16. sitegen;
17. obtain theory html file urls from browser_info instead of hard-coded links;
18. tuned;
19. tuned whitespace;
20. record proper entry dependencies instead of relying on coincidental session names;
21. clarify chapter urls: remove from config as they are a separate concept;
22. tuned;
23. sitegen
24. new entry ML_Unification
25. Inserted another missing acknowledgement
26. fix web;
27. added missing files
28. New entry Relational_Cardinality
29. Acknowledging the Alexandria project in two entries
30. Adaption to new HOL-CSP core; some stronger compactification theorems.
31. Integrated many contributions by Benoit Ballenghuin. - shorter proofs in CSP - theory CSP_Induct - theory Renaming - updates on documentation
32. merged
33. more lit.refs
34. Removal of material that had already been migrated to the repository
35. added lit.ref.
36. sitegen
37. fix link;
38. sitegen
39. fix url/file encoding;
40. typo
41. typo
42. tuned metadata
43. tuned metadata
44. tuned metadata
45. merged
46. Migration of lemmas to distribution