pierre.derathe
/
Isabelle_DOF
Archived
forked from Isabelle_DOF/Isabelle_DOF
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Merge branch 'master' of https://git.logicalhacking.com/HOL-OCL/Isabelle_DOF

This commit is contained in:
Burkhart Wolff 2018-04-17 15:09:10 +02:00
parent 18c0f6f06d 9576e6816e
commit 325b45834c
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