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

Kleinkram in scholarly_paper

This commit is contained in:
Burkhart Wolff 2018-05-01 11:38:56 +02:00
parent 86cce02f7a
commit 356fec67fe
1 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
ontologies/scholarly_paper.thy
View File

@ -23,9 +23,11 @@ doc_class abstract =
doc_class text_section =
main_author :: "author option" <= None
fixme_list :: "string list" <= "[]"
doc_class introduction = text_section +
comment :: string
claims :: "thm list"
doc_class technical = text_section +
definition_list :: "string list" <= "[]"
@ -34,8 +36,8 @@ doc_class technical = text_section +
text{* A very rough formatting style could be modeled as follows:*}
datatype mesure = points "int"
| inch "int" (* divised by 100 *)
| cm "int" (* divised by 100 *)
| inch "int" (* divised by 100 *)
| textwidth "int" (* given in percent *)
datatype alignment = left | center | right
@ -43,7 +45,7 @@ datatype alignment = left | center | right
doc_class figure = text_section +
width :: "mesure option" <= "Some(textwidth 100)"
height :: "mesure option" <= "Some(textwidth 100)"
scale :: "int option" (* given in per cent *)
scale :: "int option" (* given in per cent *)
"file" :: "file"
plmt :: alignment <= center