chapter AFP

session MSO_Regex_Equivalence = HOL +
  options [timeout = 2400]
  sessions
    "HOL-Library"
    "List-Index"
    Deriving
  theories [document = false]
    List_More
  theories
    Pi_Regular_Set
    Pi_Regular_Exp
    Pi_Derivatives
    Pi_Regular_Operators
    Pi_Regular_Exp_Dual
    Pi_Equivalence_Checking
    Init_Normalization
    PNormalization
    Formula
    M2L
    M2L_Normalization
    M2L_Equivalence_Checking
    WS1S
    WS1S_Normalization
    WS1S_Equivalence_Checking
  theories [document = false]
    M2L_Examples
    WS1S_Examples
  document_files
    "root.tex"
    "root.bib"
