chapter AFP

session Featherweight_OCL = 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"
