chapter AFP
session Abstract_Substitution = HOL +
  options [timeout = 300]
  sessions
    First_Order_Terms
    "HOL-ex"
    Regular_Tree_Relations
  theories
    Abstract_Substitution
    Based_Substitution
    Based_Substitution_Lifting
    Substitution_First_Order_Term
    Substitution_HOL_ex_Unification
    Substitution_Lifting_Example
  document_files
    "root.tex"
