no message

2018-04-06 14:32:22 +02:00 · 2018-04-06 14:32:22 +02:00 · 9ee8811576
parent c3a4111833
commit 9ee8811576
1 changed files with 11 additions and 0 deletions
--- a/ontologies/mathex_onto.thy
+++ b/ontologies/mathex_onto.thy
@ -3,4 +3,15 @@ theory mathex_onto
 imports "../Isa_DOF"
 begin

+doc_class Question =
+  content :: "string list"
+
+doc_class Response =
+  content :: "string list"
+
+doc_class Exercise = 
+  question :: Question
+  response :: Response
+
+
 end