Merge branch 'devel' of mathhub:MMT/LATIN2 into devel

.../casestudies/2023-cade/BasicExample/$Predicate$Example.ax

...e/casestudies/2023-cade/BasicExample/$Predicate$Example.p

source/casestudies/2023-cade/BasicExample/predicate_exam.mmt

source/casestudies/2023-cade/Category Theory/cat.mmt

...casestudies/2023-cade/Category Theory/result_overview.txt

.../casestudies/2023-cade/Function Composition/functions.mmt

...asestudies/2023-cade/FunctionsOnSets/$Function$Example.ax

...casestudies/2023-cade/FunctionsOnSets/$Function$Example.p

...23-cade/FunctionsOnSets/function-composition-lemma-dhol.p

...023-cade/FunctionsOnSets/function-composition-lemma-hol.p

source/casestudies/2023-cade/FunctionsOnSets/functions.mmt

...ctionsOnSets/test-results-function-composition-lemmas.txt

...asestudies/2023-cade/Predicate Example/predicate_exam.mmt

source/casestudies/2023-cade/overview.txt

source/casestudies/2023-morpheq/groups.mmt

source/casestudies/2023-morpheq/lattices.mmt

source/casestudies/2023-morpheq/topology/definitions.mmt

.../casestudies/2023-morpheq/topology/morphismEqualities.mmt

source/casestudies/2023-morpheq/topology/morphisms.mmt

source/casestudies/2023-morpheq/topology/topology.mmt