From 9576e6816e3093905012984eee3d414c7436ab6c Mon Sep 17 00:00:00 2001
From: Idir AIT SADOUNE <idir.aitsadoune@centralesupelec.fr>
Date: Tue, 17 Apr 2018 11:14:52 +0200
Subject: [PATCH] no message

---
 ontologies/mathex_onto.thy | 3 +++
 1 file changed, 3 insertions(+)

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