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-27 11:33:47 +02:00
parent 7a47c5702f
commit afc1518dde
2 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
examples/simple/MathExam.thy
View File

@ -4,7 +4,8 @@ begin
open_monitor*[exam::MathExam]
text*[idir::Author, affiliation="CentraleSupelec"]{*Idir AIT SADOUNE*}
text*[idir::Author, affiliation="''CentraleSupelec''", email="''idir.aitsadoune@centralesupelec.fr''"]
{*Idir AIT SADOUNE*}
text*[header::Header,examGrade="A1", examSubject= "algebra", examTitle="Exam number 1"]
{* Please follow directions carefully and show all your work.*}

3
ontologies/mathex_onto.thy
View File

@ -5,6 +5,7 @@ begin
doc_class Author =
affiliation :: "string"
email :: "string"
datatype Subject =
algebra | geometry | statistical
@ -33,6 +34,4 @@ doc_class MathExam=
where "((Author)+ ~
Header ~
(Exercise)+ )"
end