16 lines
491 B
Plaintext
16 lines
491 B
Plaintext
session "mini_odo" = "Isabelle_DOF" +
|
|
options [document = pdf, document_output = "output", document_build = dof,
|
|
dof_ontologies = "Isabelle_DOF.technical_report Isabelle_DOF.cenelec_50128", dof_template = "Isabelle_DOF.scrreprt-modern"]
|
|
theories
|
|
"mini_odo"
|
|
document_files
|
|
"preamble.tex"
|
|
"root.bib"
|
|
"root.mst"
|
|
"lstisadof.sty"
|
|
"figures/df-numerics-encshaft.png"
|
|
"figures/odometer.jpeg"
|
|
"figures/three-phase-odo.pdf"
|
|
"figures/wheel-df.png"
|
|
|