31 lines
852 B
Plaintext
31 lines
852 B
Plaintext
chapter AFP
|
|
|
|
session Featherweight_OCL-devel (AFP) = HOL +
|
|
description "Featherweight-OCL"
|
|
options [document_variants = "annex-a=annexa,-theory,-afp,-proof,-ML:document=afp,-annexa:outline=-annexa,afp,/proof,/ML",
|
|
show_question_marks = false, timeout = 600]
|
|
directories
|
|
"basic_types"
|
|
"collection_types"
|
|
"examples/Employee_Model/Analysis"
|
|
"examples/Employee_Model/Design"
|
|
theories
|
|
UML_Main
|
|
"examples/Employee_Model/Analysis/Analysis_OCL"
|
|
"examples/Employee_Model/Design/Design_OCL"
|
|
document_files
|
|
"conclusion.tex"
|
|
"figures/AbstractSimpleChair.pdf"
|
|
"figures/jedit.png"
|
|
"figures/pdf.png"
|
|
"figures/person.png"
|
|
"figures/pre-post.pdf"
|
|
"hol-ocl-isar.sty"
|
|
"introduction.tex"
|
|
"lstisar.sty"
|
|
"omg.sty"
|
|
"prooftree.sty"
|
|
"root.bib"
|
|
"root.tex"
|
|
"FOCL_Syntax.tex"
|