nicolas.meric
/
Isabelle_DOF
forked from Isabelle_DOF/Isabelle_DOF
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

no message

This commit is contained in:
Idir AIT SADOUNE 2018-04-17 11:14:52 +02:00
parent 731fd9c775
commit 9576e6816e
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
ontologies/mathex_onto.thy
View File

@ -16,4 +16,7 @@ doc_class Exercise_part =
doc_class Exercise=
content :: "(Exercise_part) list"
doc_class MathExam=
content :: "(Exercise) list"
end