Isabelle_DOF
/
Isabelle_DOF
1
0
Fork 2
Code Issues 1 Pull Requests Releases Wiki Activity

no message

This commit is contained in:
Idir AIT SADOUNE 2018-04-06 14:48:43 +02:00
parent 9ee8811576
commit 5feca3e0e1
1 changed files with 5 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
ontologies/mathex_onto.thy
View File

@ -4,14 +4,16 @@ imports "../Isa_DOF"
begin
doc_class Question =
content :: "string list"
content :: "(string + term) list"
doc_class Response =
content :: "string list"
content :: "(string + term) list"
doc_class Exercise =
doc_class Exercise_part =
question :: Question
response :: Response
doc_class Exercise=
content :: "(Exercise_part) list"
end