Changes

Summary

1. fixed duplicate theory name in Polynomial_Factorization
2. refactored proof
3. merged
4. Removal of the original and obsolete development; replaced by links to the corresponding theorems in the Isabelle libraries
5. more realistic timeout;
6. proper document setup for \usepackage{times}; drop extra copy of generated document;
7. more realistic timeout;
8. avoid hardwired document output;
9. merge
10. fix(ML_Unification/Parsing) change map_safe type to return an option
11. Fixed issues connected with cong_def vs unique_euclidean_semiring_class.cong_def and := syntax
12. Got rid of some global (and unnecessary) parameter settings. Also fixed a couple of slow proofs
13. feat(ML_Unification) use fixed parser from Isabelle distro
14. merged
15. removed unnecessary condition that decided literals are in N
16. added name to corollary
17. removed lemma now in distribution
18. added lemma right_unique_skip
19. Stone_Relation_Algebras: minor additions
20. merged
21. Standard_Borel_Spaces: removed an unnecessary file
22. Standard_Borel_Spaces and S_Finite_Measure_Monad: adjust theories to metric space in Isabelle2023
23. remove ci-extras component (see Isabelle/f992769d);
24. use ci build mail server;
25. use Isabelle options for CI mail settings (see Isabelle/4c5aadf1);
26. removed unused/broken clone (see Isabelle/aff231884b20);
27. adaptred to Isabelle/d769a183d51d;
28. more standard simproc_setup using ML antiquotation;
29. adapted to Isabelle/807b249f1061;
30. clarified simproc_setup (passive);
31. avoid clash with outer syntax keyword 'passive';
32. merge from afp-2023
33. Transport sitegen
34. New submission Transport
35. update S_Finite_Measure_Monad to Isabelle2023
36. web pages for Standard_Borel_Spaces and S_Finite_Measure_Monad
37. update Standard_Borel_Spaces to Isabelle2023
38. theory files for S_Finite_Measure_Monad + Standard_Borel_Spaces
39. new entry IO_Language_Conformance
40. new entry Coupledsim_Contrasim
41. drop SN from standard wpo-assumptions; prove irreflexivity of WPO without SN
42. added proof: the multiset extension of two orders preserves irreflexivity
43. added lemmas on lexicographic extension
44. added code-unfold lemma
45. fix(ML_Unification) remove temporary files
46. update hugo to 0.119.0;
47. moved hugo component build tool to Isabelle distribution;
48. update hugo component and support more platforms;