25 lines
704 B
Plaintext
25 lines
704 B
Plaintext
chapter AFP
|
|
|
|
session Featherweight_OCL (AFP) = HOL +
|
|
description {* Featherweight-OCL *}
|
|
options [document = pdf, document_variants="document:outline=/proof,/ML"]
|
|
theories
|
|
"OCL_main"
|
|
"examples/Employee_AnalysisModel_OCLPart"
|
|
"examples/Employee_DesignModel_OCLPart"
|
|
files
|
|
"document/conclusion.tex"
|
|
"document/formalization.tex"
|
|
"document/hol-ocl-isar.sty"
|
|
"document/introduction.tex"
|
|
"document/lstisar.sty"
|
|
"document/prooftree.sty"
|
|
"document/root.bib"
|
|
"document/root.tex"
|
|
"document/figures/AbstractSimpleChair.pdf"
|
|
"document/figures/jedit.png"
|
|
"document/figures/pdf.png"
|
|
"document/figures/person.png"
|
|
"document/figures/pre-post.pdf"
|
|
|