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"