diff --git a/ontologies/mathex_onto.thy b/ontologies/mathex_onto.thy index 7060964e..2a00ee42 100644 --- a/ontologies/mathex_onto.thy +++ b/ontologies/mathex_onto.thy @@ -16,4 +16,7 @@ doc_class Exercise_part = doc_class Exercise= content :: "(Exercise_part) list" +doc_class MathExam= + content :: "(Exercise) list" + end \ No newline at end of file