chapter AFP

session Automatic_Refinement = HOL +
  options [timeout = 300]
  sessions
    "HOL-Library"
    "HOL-Eisbach"
    "HOL-ex"
  directories
    "Lib"
    "Parametricity"
    "Tool"
  theories [document = false]
    "Lib/Refine_Lib"
  theories
    "Parametricity/Param_Chapter"
    "Parametricity/Relators"
    "Parametricity/Parametricity"
  theories [document = false]
    "Tool/Autoref_Phases"
    "Tool/Autoref_Data"
    "Tool/Autoref_Id_Ops"
    "Tool/Autoref_Relator_Interface"
    "Tool/Autoref_Fix_Rel"
    "Tool/Autoref_Gen_Algo"
    "Tool/Autoref_Translate"
  theories
    "Tool/Autoref_Chapter"
    "Tool/Autoref_Tool"
    Autoref_Bindings_HOL
    Automatic_Refinement
  document_files
    "root.tex"