chapter AFP

session CZH_Universal_Constructions = CZH_Elementary_Categories +
  options [timeout = 7200]
  directories
    czh_ucategories
  theories
    CZH_UCAT_Conclusions
  document_files
    "iman.sty"
    "extra.sty"
    "isar.sty"
    "style.sty"
    "root.tex"
    "root.bib"
