no message

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

...ry/comparison-results-extended-category-theory-lemmas.txt

...udies/2023-cade/Function Composition/$Function$Example.ax

...tudies/2023-cade/Function Composition/$Function$Example.p

...de/Function Composition/function-composition-lemma-dhol.p

...ade/Function Composition/function-composition-lemma-hol.p

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

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

...studies/2023-cade/Predicate Example/$Predicate$Example.ax

...estudies/2023-cade/Predicate Example/$Predicate$Example.p

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

source/casestudies/2023-cade/overview.txt