no message

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

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

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

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

...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