chapter AFP

session KBPs = "HOL-Library" +
  options [timeout = 600]
  sessions
    "Transitive-Closure"
    Trie
  theories [document = false]
    Extra
    List_local
  theories [show_question_marks = false, names_short]
    KBPs_Main
  document_files
    "MC.pdf"
    "Robot.pdf"
    "robot_clock.pdf"
    "robot_spr.pdf"
    "root.bib"
    "root.tex"
